languages

About Trust TRUST Overview TRUST Orgchart Our TRUST Partners TRUST Research Conferences Education FAQ Key Publications Trust Introduction (PPT) Annual Report 5 yr. Strategic Plan

Getting Involved with Trust Getting started with this web site How can I request a login account on this website? Who can get a login? How does a corporation become a partner? How do a set up a proxy account so I can register a VIP? How do I join a group? How do I reset my password Missing menus/Javascript disabled? Online Conference Registration How do I register for a conference? Contact Information and Directions How do I contact the Trust Center? Directions to Cory Hall

Recent Publications for languages

• Andrew C. Myers, Michael R. Clarkson, Fred Schneider. Quantifying Information Flow with Beliefs, Journal of Computer Security, 2009; to appear.
• Stephen Chong, Andrew C. Myers. End-to-End Enforcement of Erasure and Declassification, Proceedings of the IEEE Computer Security Foundations Symposium, 98–111, June, 2008.
• Andrew C. Myers, Michael Clarkson, Stephen Chong. Civitas: Toward a Secure Voting System, IEEE Symposium on Security and Privacy, IEEE, 354-368, May, 2008.
• Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta. A Logic for Reasoning about Networked Secure Systems, Joint Workshop FCS-ARSPA-WITS, 2008.
• S. Chong, J. Liu, A. C. Myers, X. Qi, K. Vikram, L. Zheng, X. Zheng. Secure Web Applications via Automatic Partitioning, Proceedings of the 21st ACM Symposium on Operating Systems Principles, 31-44, October, 2007.
• S. Chong, K. Vikram, A. C. Myers. SIF: Enforcing Confidentiality and Integrity in Web Applications, Proceedings of the 16th USENIX Security Symposium, 1-16, August, 2007.
• Stephen Chong, Andrew C. Myers. Decentralized Robustness, Proceedings of the 19th IEEE Computer Security Foundations Workshop, 242-253, July, 2006.
• Ya-Jeng Lin, Shiuhpyng Shieh, Warren W. Lin. Lightweight, Pollution-Attack Resistant Multicast Authentication Scheme, ACM Symposium on Information, Computer and Communications Security, ACM, 148-156, March, 2006.

Faculty