 | 2009 |
| 17 |  | James Cheney,
Stephen Chong,
Nate Foster,
Margo I. Seltzer,
Stijn Vansummeren:
Provenance: a future history.
OOPSLA Companion 2009: 957-964 |
| 16 |  | Stephen Chong,
Ron van der Meyden:
Deriving epistemic conclusions from agent architecture.
TARK 2009: 61-70 |
| 15 |  | Stephen Chong:
Towards Semantics for Provenance Security.
Workshop on the Theory and Practice of Provenance 2009 |
| 14 |  | Stephen Chong,
Jed Liu,
Andrew C. Myers,
Xin Qi,
K. Vikram,
Lantian Zheng,
Xin Zheng:
Building secure web applications with automatic partitioning.
Commun. ACM 52(2): 79-87 (2009) |
| 2008 |
| 13 |  | Stephen Chong,
Andrew C. Myers:
End-to-End Enforcement of Erasure and Declassification.
CSF 2008: 98-111 |
| 12 |  | Michael R. Clarkson,
Stephen Chong,
Andrew C. Myers:
Civitas: Toward a Secure Voting System.
IEEE Symposium on Security and Privacy 2008: 354-368 |
| 2007 |
| 11 |  | Michael E. Clarkson,
Stephen Chong,
Andrew C. Myers:
Civitas: A Secure Remote Voting System.
Frontiers of Electronic Voting 2007 |
| 10 |  | Stephen Chong,
Jed Liu,
Andrew C. Myers,
Xin Qi,
K. Vikram,
Lantian Zheng,
Xin Zheng:
Secure web application via automatic partitioning.
SOSP 2007: 31-44 |
| 2006 |
| 9 |  | Kevin R. O'Neill,
Michael R. Clarkson,
Stephen Chong:
Information-Flow Security for Interactive Programs.
CSFW 2006: 190-201 |
| 8 |  | Stephen Chong,
Andrew C. Myers:
Decentralized Robustness.
CSFW 2006: 242-256 |
| 2005 |
| 7 |  | Stephen Chong,
Andrew C. Myers:
Language-Based Information Erasure.
CSFW 2005: 241-254 |
| 2004 |
| 6 |  | Stephen Chong,
Andrew C. Myers:
Security policies for downgrading.
ACM Conference on Computer and Communications Security 2004: 198-209 |
| 5 |  | Hubie Chen,
Stephen Chong:
Owned Policies for Information Security.
CSFW 2004: 126-138 |
| 4 |  | Nathaniel Nystrom,
Stephen Chong,
Andrew C. Myers:
Scalable extensibility via nested inheritance.
OOPSLA 2004: 99-115 |
| 3 |  | Stephen Chong,
Riccardo Pucella:
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
CoRR abs/cs/0412065: (2004) |
| 2003 |
| 2 |  | Lantian Zheng,
Stephen Chong,
Andrew C. Myers,
Steve Zdancewic:
Using Replication and Partitioning to Build Secure Distributed Systems.
IEEE Symposium on Security and Privacy 2003: 236-250 |
| 1 |  | Stephen Chong,
Radu Rugina:
Static Analysis of Accessed Regions in Recursive Data Structures.
SAS 2003: 463-482 |