- 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.
