Peer-reviewed publications
- End-to-End Enforcement of Erasure and Declassification
Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF), Pittsburgh, Pennsylvania, June 2008 (to appear)
Stephen Chong, Andrew C. Myers
[ PDF
| Technical Report ]
- Civitas: Toward a Secure Voting System
IEEE Symposium on Security and Privacy, Oakland, California, May 2008 (to appear)
Michael R. Clarkson, Stephen Chong, Andrew C. Myers
[ PDF
| Technical Report
| Web site ]
- Secure Web Applications via Automatic Partitioning
Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), Stevenson, WA, October 2007.
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram,
Lantian Zheng, Xin Zheng
(Best paper award.)
[ PDF
| Web site ]
- SIF: Enforcing Confidentiality and Integrity in Web Applications
Proceedings of the 16th USENIX Security Symposium, Boston, Massachusetts, August 2007.
Stephen Chong, K. Vikram, Andrew C. Myers
[ PDF
| Web site ]
- Decentralized Robustness
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW), Venice, July 2006
Stephen Chong, Andrew C. Myers
[ PDF
| PS
| Slides (ppt) ]
- Information-Flow Security for Interactive Programs
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW), Venice, July 2006
Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong
[ PDF
| PS
| Technical Report (PDF) ]
- Language-Based Information Erasure
Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW), Aix-en-Provence, June 2005
Stephen Chong, Andrew C. Myers
[ PDF
| PS ]
- Security Policies for Downgrading
11th ACM Conference on Computer and Communications Security (CCS), Washington DC, October 2004
Stephen Chong, Andrew C. Myers
[ PDF
| PS ]
- Scalable Extensibility via Nested Inheritance
Object-Oriented Programming Languages, Systems, Languages,
and Applications (OOPSLA), Vancouver, BC, Canada, October 2004
Nathaniel Nystrom, Stephen Chong, Andrew C. Myers
[ PDF
| PS
| Technical Report (PDF)
| Web site ]
- Owned Policies for Information Security
Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW), Pacific Grove, California, June 2004
Hubie Chen, Stephen Chong
[ PDF
| PS
| Slides (ppt) ]
- 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 (AMiLP-3), TWLT Report 21, August 2003
Stephen Chong, Riccardo Pucella
[ PDF ]
- Static Analysis of Accessed Regions in Recursive Data Structures
Static Analysis Symposium (SAS), San Diego, California, June 2003
Stephen Chong, Radu Rugina
[ PDF
| PS
| Slides (PDF) ]
- Using Replication and Partitioning to Build Secure Distributed Systems
IEEE Symposium on Security and Privacy, Oakland, California, May 2003
Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic
[ PDF ]
Technical reports (not otherwise published)
- Word Alignment of Proof Verbalizations Using Generative Statistical Models
Cornell CS Technical Report TR2002-1864, May 2002
Stephen Chong
[ PDF
| PS ]
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.
|