Michael J. May

14 papers A 2Misc 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2022 Misc conf
CEMDA: detecting android complex file events to infer the user's mental model.
SAC
Michael J. May, Yaakov Cohen, Hovav Menachem, Yogev Swisa
2022 J jnl
Donag: Generating Efficient Patches and Diffs for Compressed Archives.
ACM Trans. Storage
Michael J. May
2022 — conf
Improving a Model-Based Software Engineering Capstone Course.
WCCE
Michael J. May, Amir Tomer
2021 J jnl
CemoMemo: Making More Out of Gravestones (With Help From the Crowd).
ACM Journal on Computing and Cultural Heritage
Michael J. May, Efrat Kantor, Nissim Zror
2020 J jnl
WSEmail.
Serv. Oriented Comput. Appl.
Michael J. May, Kevin D. Lux, Carl A. Gunter
2019 — conf
Combating Ransomware using Content Analysis and Complex File Events.
NTMS
Michael J. May, Etamar Laron
2019 J jnl
On the Lifecycle of the File.
ACM Trans. Storage
Michael J. May, Etamar Laron, Khalid Zoabi, Havah Gerhardt
2019 J jnl
WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services.
CoRR
Kevin D. Lux, Michael J. May, Carl A. Gunter
2013 — conf
Towards Unified Authorization for Android.
ESSoS
Michael J. May, Karthikeyan Bhargavan
2009 — conf
Strong and Weak Policy Relations.
POLICY
Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic
2006 — conf
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.
CSFW
Michael J. May, Carl A. Gunter, Insup Lee
2006 — conf
Securing the drop-box architecture for assisted living.
FMSE
Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee
2005 A conf
WSEmail: Secure Internet Messaging Based on Web Services.
ICWS
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter
2004 A conf
A Formal Privacy System and Its Application to Location Based Services.
Privacy Enhancing Technologies
Carl A. Gunter, Michael J. May, Stuart G. Stubblebine