Welcome to the Trust Publications database. Here you will find all Trust-related publications, including papers and tech reports and talks and presentations. Or you can go to the search page to search for publications by year, author, or keyword. You can also use the predefined searches in the "Quick links" column at the left.

If you have an account on this website, you will need to log in to access restricted publications or to add publications.

Recently added publications

• Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta. Compositional System Security with Interface-Confined Adversaries, Electronic Notes in Theoretical Computer Science, 265, 2010.
• Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar. A Logic of Secure Systems and its Application to Trusted Computing, Proceedings of 30th IEEE Symposium on Security and Privacy, May, 2009.
• Anupam Datta, Nipun Dave, John Mitchell, Helen Nissenbaum, Divya Sharma. Privacy Challenges in Patient-Centric Health Information Systems (Position Paper), 1st Usenix Workshop on Health Security and Privacy, August, 2010.
• Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha. Audit Mechanisms for Privacy Protection in Healthcare Environments (Position Paper), 2nd Usenix Workshop on Health Security and Privacy, August, 2011.
• Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kaynar, Anupam Datta. Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws, th ACM Workshop on Privacy in the Electronic Society, October, 2010.
• Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha. Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection, 24th IEEE Computer Security Foundations Symposium, June, 2011.
• Deepak Garg, Limin Jia, Anupam Datta. Policy Auditing over Incomplete Logs: Theory, Implementation and Applications, ACM Conference on Computer and Communications Security, October, 2011.
• Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kaynar, Arunesh Sinha. Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms, 7th International Conference on Information Systems Security, 1-27, December, 2011; Invited paper accompanying keynote lecture.
• Xiaowei Li, Yuan Xue. A Survey on Web Application Security, Technical report, Vanderbilt University, 2011.