Publications by Stephen Chong
Conference and highly-selective workshop publications
- Deriving Epistemic Conclusions from Agent Architecture
Proceedings of the Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), July 2009.
Stephen Chong and Ron van der Meyden.
[ PDF | BibTeX ] - End-to-End Enforcement of Erasure and Declassification
Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF), pages 98–111, June 2008.
Stephen Chong and Andrew C. Myers.
[ PDF | Technical Report | BibTeX ] - Civitas: Toward a Secure Voting System
Proceedings of the 2008 IEEE Symposium on Security and Privacy (Oakland), pages 354–368, May 2008.
Michael R. Clarkson, Stephen Chong, and Andrew C. Myers.
[ PDF | Technical Report | Web site | BibTeX ] - Secure Web Applications via Automatic Partitioning
Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), pages 31–44, October 2007.
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng.
(Best paper award.)
[ PDF | Web site | BibTeX ] - SIF: Enforcing Confidentiality and Integrity in Web Applications
Proceedings of the 16th USENIX Security Symposium, pages 1–16, August 2007.
Stephen Chong, K. Vikram, and Andrew C. Myers.
[ PDF | Web site | BibTeX ] - Decentralized Robustness
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW), pages 242–253, July 2006.
Stephen Chong and Andrew C. Myers.
[ PDF | PS | Slides (ppt) | BibTeX ] - Information-Flow Security for Interactive Programs
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW), pages 190–201, July 2006.
Kevin R. O'Neill, Michael R. Clarkson, and Stephen Chong.
[ PDF | PS | Technical Report | BibTeX ] - Language-Based Information Erasure
Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW), pages 241–254, June 2005.
Stephen Chong and Andrew C. Myers.
[ PDF | PS | BibTeX ] - Security Policies for Downgrading
Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS), pages 189–209, October 2004.
Stephen Chong and Andrew C. Myers.
[ PDF | PS | BibTeX ] - Scalable Extensibility via Nested Inheritance
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications (OOPSLA), pages 99–115, October 2004.
Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers.
[ PDF | PS | Technical Report | Web site | BibTeX ] - Owned Policies for Information Security
Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW), pages 126–138, June 2004.
Hubie Chen and Stephen Chong.
[ PDF | PS | Slides (ppt) | BibTeX ] - Static Analysis of Accessed Regions in Recursive Data Structures
Proceedings of the 10th International Static Analysis Symposium (SAS), June 2003.
Stephen Chong and Radu Rugina.
[ PDF | PS | Slides (PDF) | BibTeX ] - Using Replication and Partitioning to Build Secure Distributed Systems
Proceedings of the 2003 IEEE Symposium on Security and Privacy, pages 236–250, May 2003.
Lantian Zheng, Stephen Chong, Andrew C. Myers, and Steve Zdancewic.
[ PDF | BibTeX ]
Workshop papers
- Provenance: A Future History
Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications: Onward! Session (OOPSLA Onward!), October 2009.
James Cheney, Stephen Chong, Nate Foster, Margo Seltzer, and Stijn Vansummeren.
[ PDF | BibTeX ] - Towards Semantics for Provenance Security
Proceedings of the 1st Workshop on the Theory and Practice of Provenance (TaPP), February 2009.
Stephen Chong.
[ PDF | Slides (PDF) | BibTeX ] - A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Proceedings of the Third International AMAST Workshop on Algebraic Methods in Language Processing, TWLT Report 21 (AMiLP-3), August 2003.
Stephen Chong and Riccardo Pucella.
[ PDF | BibTeX ]
Technical reports and manuscripts
- Secure Web Applications via Automatic Partitioning
Communications of the ACM 52(2):79–87, February 2009.
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng.
[ ACM Portal | BibTeX ] - Expressive and Enforceable Information Security Policies
Ph.D. thesis, Cornell University, August 2008.
Stephen Chong.
[ PDF | BibTeX ] - Civitas: Toward a Secure Voting System
Cornell University Computing and Information Science Technical Report 2007-2081, May 2008.
Michael R. Clarkson, Stephen Chong, and Andrew C. Myers.
[ URI | BibTeX ] - End-to-End Enforcement of Erasure and Declassification
Cornell University Computing and Information Science Technical Report http://hdl.handle.net/1813/10504, April 2008.
Stephen Chong and Andrew C. Myers.
[ URI | BibTeX ] - Information-Flow Security for Interactive Programs
Cornell University Computing and Information Science Technical Report 2006-2022, April 2006.
Kevin R. O'Neill, Michael R. Clarkson, and Stephen Chong.
[ URI | BibTeX ] - Scalable Extensibility via Nested Inheritance
Cornell University Computing and Information Science Technical Report 2004-1940, 2004.
Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers.
[ PDF | BibTeX ] - Word Alignment of Proof Verbalizations Using Generative Statistical Models
Cornell University Computer Science Department Technical Report 2002-1864, May 2002.
Stephen Chong.
[ PDF | PS | BibTeX ]
Distributing papers
The papers available here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.