Chong, Stephen - School of Engineering and Applied Sciences, Harvard University

Advanced Search

Chong, Stephen - School of Engineering and Applied Sciences, Harvard University

Secure Web Applications via Automatic Partitioning Stephen Chong Jed Liu Andrew C. Myers Xin Qi
Word Alignment of Proof Verbalizations Using Generative Statistical Models
Decentralized Robustness Stephen Chong Andrew C. Myers
Owned Policies for Information Security Hubie Chen Stephen Chong
Owned Policies for Information Security Hubie Chen Stephen Chong
Static analysis for efficient hybrid information-flow control Scott Moore
Static Analysis of Accessed Regions in Recursive Data Structures
InformationFlow Security for Interactive Programs Kevin R. O'Neill Michael R. Clarkson Stephen Chong
Scalable Extensibility via Nested Inheritance (Technical Report)
Scalable Extensibility via Nested Inheritance Nathaniel Nystrom Stephen Chong Andrew C. Myers
SIF: Enforcing Confidentiality and Integrity in Web Applications Stephen Chong K. Vikram Andrew C. Myers
Self-Identifying Sensor Data Stephen Chong
Security Policies for Downgrading Stephen Chong
Security Policies for Downgrading Stephen Chong
Towards Semantics for Provenance Security Stephen Chong
Scalable Extensibility via Nested Inheritance Nathaniel Nystrom Stephen Chong Andrew C. Myers
A More Precise Security Type System for Dynamic Security Tests
Inference of expressive declassification policies Jeffrey A. Vaughan
Required Information Release Stephen Chong
Deriving Epistemic Conclusions from Agent Architecture Stephen Chong
End-to-End Enforcement of Erasure and Declassification Stephen Chong Andrew C. Myers
Decentralized Robustness Stephen Chong Andrew C. Myers
Information-Flow Security for Interactive Programs Kevin R. O'Neill Michael R. Clarkson Stephen Chong
Using Replication and Partitioning to Build Secure Distributed Systems
Provenance: A Future History James Cheney
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Static analysis for efficient hybrid information-flow control Scott Moore
A More Precise Security Type System for Dynamic Security Tests
LanguageBased Information Erasure Stephen Chong Andrew C. Myers
Static Analysis of Accessed Regions in Recursive Data Structures
Civitas: Toward a Secure Voting System Michael R. Clarkson Stephen Chong Andrew C. Myers
EXPRESSIVE AND ENFORCEABLE INFORMATION SECURITY POLICIES
Language-Based Information Erasure Stephen Chong Andrew C. Myers
Required Information Release Stephen Chong