Refereed Conferences:
Filippo Gioachin, Ravinder Shankesi, Michael J. May, Vijay Nori, Carl A. Gunter, and Wook Shin.
Emergency Alerts as RSS Feeds with Interdomain Authorization.
To appear in International Conference on Internet Monitoring and Protection.
July 2007. Silicon Valley, CA. [pdf]
Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee.
Securing the Drop-box Architecture for Assisted Living.
In 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code.
Nov 2006. Fairfax, VA. [pdf].
Michael J. May, Carl A. Gunter, and Insup Lee. Privacy
APIs: Access Control Techniques to Analyze and Verify Legal Privacy
Policies. In 19th IEEE Computer Security Foundations Workshop (CSFW). July 2006. Venice,Italy. [pdf].
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, and Carl A. Gunter. WSEmail:
Secure Internet Messaging Based on Web Services. In 2005 IEEE International Conference on Web Services (ICWS).
July 2005. Orlando, FL. [pdf]
Carl A. Gunter, Michael J. May, and Stuart Stubblebine.
A Formal Privacy System and its Application to Location
Based Services. In 2004 Privacy Enhancing Technologies (PET). May 2004. Toronto, Canada.[pdf]
[ps]
Other:
May, Michael J. Location Privacy: A Comparison of
Technologies and
Approaches. Written Preliminary Exam - II. Nov 2003. [Abstract] [References]
Full paper available upon request.
