ד"ר מיי מייקל

לקביעת פגישת ייעוץ
מלא/י פרטיך
שם:
שם משפחה:
דוא''ל:  
טלפון:
מתעניין בתחום:
select
אני מאשר/ת קבלת תכנים ופרסומים מהמכללה האקדמית כנרת בעמק הירדן
הזן טלפון ונחזור אליך מיד
 
1800-20-90-20

ד"ר מיי מייקל

תחום המחקר עוזק בדרכים ליישם שיטות פורמליות להערכת הפרטיות ומאפייני האבטחה של הפרוטוקולים והמדיניות. עבודתי כוללת אימות אוטומטי של מאפייני אבטחה של פרוטוקולי שירות אינטרנט וכן פיתוח שפה, תיאוריה וכלים להערכה גמישה של מגוון רחב של מדיניות פרטיות. במסגרת עבודתי במרכז לחקר הכנרת ע"ש כנרת, אני חוקר נושאים חדשים בתחומי ניהול ועיבוד קבצים.
mjmay@kinneret.ac.il

מאמרים

  • Gunter, C. A., May, M. J., & Stubblebine, S. G. (2004, May). A formal privacy system and its application to location based services. In International Workshop on Privacy Enhancing Technologies (pp. 256-282). Springer, Berlin, Heidelberg
  • .May, M. J., & Bhargavan, K. (2013, February). Towards unified authorization for android. In International Symposium on Engineering Secure Software and Systems (pp. 42-57). Springer, Berlin, Heidelberg.
  • May, M. J., Gunter, C. A., Lee, I., & Zdancewic, S. (2009, July). Strong and weak policy relations. In Policies for Distributed Systems and Networks, 2009. POLICY 2009. IEEE International Symposium on (pp. 33-36). IEEE.‏ 4.May, M. J., Shin, W., Gunter, C. A., & Lee, I. (2006, November). Securing the drop-box architecture for assisted living. In Proceedings of the fourth ACM workshop on Formal methods in security (pp. 1-12). ACM.‏