A Formal Privacy System and Its Application to Location Based Services. - Carl A. Gunter; Michael J. May; Stuart G. Stubblebine (Privacy Enhancing Technologies, 2004)

WSEmail: Secure Internet Messaging Based on Web Services. - Kevin D. Lux; Michael J. May; Nayan L. Bhattad; Carl A. Gunter (ICWS, 2005)

Securing the drop-box architecture for assisted living. - Michael J. May; Wook Shin; Carl A. Gunter; Insup Lee 001 (FMSE, 2006)

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. - Michael J. May; Carl A. Gunter; Insup Lee 001 (CSFW, 2006)

Strong and Weak Policy Relations. - Michael J. May; Carl A. Gunter; Insup Lee 001; Steve Zdancewic (POLICY, 2009)

Towards Unified Authorization for Android. - Michael J. May; Karthikeyan Bhargavan (ESSoS, 2013)

Combating Ransomware using Content Analysis and Complex File Events. - Michael J. May; Etamar Laron (NTMS, 2019)

WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services. - Kevin D. Lux; Michael J. May; Carl A. Gunter (CoRR, 2019)

On the Lifecycle of the File. - Michael J. May; Etamar Laron; Khalid Zoabi; Havah Gerhardt (ACM Trans. Storage, 2019)

WSEmail. - Michael J. May; Kevin D. Lux; Carl A. Gunter (Serv. Oriented Comput. Appl., 2020)

CemoMemo: Making More Out of Gravestones (With Help From the Crowd). - Michael J. May; Efrat Kantor; Nissim Zror (ACM Journal on Computing and Cultural Heritage, 2021)

CEMDA: detecting android complex file events to infer the user's mental model. - Michael J. May; Yaakov Cohen; Hovav Menachem; Yogev Swisa (SAC, 2022)

Improving a Model-Based Software Engineering Capstone Course. - Michael J. May; Amir Tomer (WCCE, 2022)

Donag: Generating Efficient Patches and Diffs for Compressed Archives. - Michael J. May (ACM Trans. Storage, 2022)