|
languages
Programming Language Techniques for Security
About Trust
Key Publications
|
Getting Involved with Trust
|
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.
Resources
This group has the following subpages:
|
|