Michael J. May

According to our database, Michael J. May authored at least 14 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Donag: Generating Efficient Patches and Diffs for Compressed Archives.

Michael J. May

ACM Trans. Storage, 2022

Improving a Model-Based Software Engineering Capstone Course.

Michael J. May, Amir Tomer

Proceedings of the Towards a Collaborative Society Through Creative Learning, 2022

CEMDA: detecting android complex file events to infer the user's mental model.

Michael J. May, Yaakov Cohen, Hovav Menachem, Yogev Swisa

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

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

2020

WSEmail.

Michael J. May, Kevin D. Lux, Carl A. Gunter

Serv. Oriented Comput. Appl., 2020

2019

On the Lifecycle of the File.

Michael J. May, Etamar Laron, Khalid Zoabi, Havah Gerhardt

ACM Trans. Storage, 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

Combating Ransomware using Content Analysis and Complex File Events.

Michael J. May, Etamar Laron

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

2013

Towards Unified Authorization for Android.

Michael J. May, Karthikeyan Bhargavan

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2009

Strong and Weak Policy Relations.

Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic

Proceedings of the POLICY 2009, 2009

2006

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.

Michael J. May, Carl A. Gunter, Insup Lee

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Securing the drop-box architecture for assisted living.

Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005

WSEmail: Secure Internet Messaging Based on Web Services.

Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004

A Formal Privacy System and Its Application to Location Based Services.

Carl A. Gunter, Michael J. May, Stuart G. Stubblebine

Proceedings of the Privacy Enhancing Technologies, 4th International Workshop, 2004