Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha. Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. In Sushil Jajodia, Chandan Mazumdar, editors, Information Systems Security - 7th International Conference, ICISS 2011, Kolkata, India, December 15-19, 2011, Procedings. Volume 7093 of Lecture Notes in Computer Science, pages 1-27, Springer, 2011. [doi]
Abstract is missing.