A Declarative Privacy Policy: Finite Models and Attribute-Based Encryption [video] [source code] [virtual machine] Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, and Frank Wang In ACM SIGHIT International Health Informatics Symposium (IHI 2012)

A Formalization of HIPAA for a Medical Messaging System. Peifung E. Lam, John C. Mitchell, and Sharada Sundaram. In Proc. of the 6th International Conference on Trust, Privacy and Security in Digital Business (TRUSTBUS 2009)

Privacy and Utility in Business Processes. Adam Barth, Anupam Datta, John C. Mitchell, and Sharada Sundaram. In Proc. of the 20th IEEE Computer Security Foundations Symposium (CSF 2007)

Privacy and Contextual Integrity: Framework and Applications. Adam Barth, Anupam Datta, John C. Mitchell, and Helen Nissenbaum. In Proc. of the 27th IEEE Symposium on Security and Privacy (Oakland 2006)