הנדסת תוכנה
פרוטוקולי תקשורת מאובטחות
שיטות פורמליות
עיבוד קבצים ומחזור חיים של קבצים
שימור דיגיטלי
ד"ר מייקל מיי
חבר סגל במחלקה להנדסת תוכנה, מרצה
המחלקה להנדסת תוכנה, הפקולטה להנדסה, מחקר
.B.Sc בהנדסת תוכנה
תחומי התמחות
קורסים נבחרים
מערכות מבוזרות
פיתוח בסביבת אנדרואיד
מערכות הפעלה
רשתות מחשבים מתקדמות
אבטחת מידע ותקשורת
תפקידים נוספים
אחראי פרויקטי גמר
ראש למרכז מחקר אספרנא
פרסומים נבחרים
Michael J. May, Etamar Laron, Khalid Zoabi, and Havah Gerhardt. 2019. On the Lifecycle of the File. ACM Transactions on Storage 15, 1, Article 1 (February 2019), 45 pages
Michael J. May and Etamar Laron. Combatting Ransomware Using Content Analysis and Complex File Events. IFIP International Conference on New Technologies, Mobility, and
Security, 2019
Michael J. May and Karthikeyan Bhargavan. Towards Unified Authorization for Android. In International Symposium on Engineering Secure Software and Systems (ESSOS). Feb 2013. Paris.
Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic. Strong and Weak Policy Relations. In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY). July 2009. London.
Filippo Gioachin, Ravinder Shankesi, Michael J. May, Vijay Nori, Carl A. Gunter, and Wook Shin. Emergency Alerts as RSS Feeds with Interdomain Authorization. In International Conference on Internet Monitoring and Protection. July 2007. Silicon Valley, CA.