Static Analysis of Accessed Regions in Recursive Data Structures. - Stephen Chong; Radu Rugina (SAS, 2003)

Using Replication and Partitioning to Build Secure Distributed Systems. - Lantian Zheng; Stephen Chong; Andrew C. Myers; Steve Zdancewic (S&P, 2003)

Review of type-logical semantics. - Riccardo Pucella; Stephen Chong (SIGACT News, 2003)

Security policies for downgrading. - Stephen Chong; Andrew C. Myers (CCS, 2004)

Owned Policies for Information Security. - Hubie Chen; Stephen Chong (CSFW, 2004)

Scalable extensibility via nested inheritance. - Nathaniel Nystrom; Stephen Chong; Andrew C. Myers (OOPSLA, 2004)

A Framework for Creating Natural Language User Interfaces for Action-Based Applications - Stephen Chong; Riccardo Pucella (CoRR, 2004)

Language-Based Information Erasure. - Stephen Chong; Andrew C. Myers (CSFW, 2005)

Decentralized Robustness. - Stephen Chong; Andrew C. Myers (CSFW, 2006)

Information-Flow Security for Interactive Programs. - Kevin R. O'Neill; Michael R. Clarkson; Stephen Chong (CSFW, 2006)

Civitas: A Secure Remote Voting System. - Michael E. Clarkson; Stephen Chong; Andrew C. Myers (Frontiers of Electronic Voting, 2007)

Secure web application via automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (SOSP, 2007)

SIF: Enforcing Confidentiality and Integrity in Web Applications. - Stephen Chong; K. Vikram; Andrew C. Myers (USENIX Security Symposium, 2007)

End-to-End Enforcement of Erasure and Declassification. - Stephen Chong; Andrew C. Myers (CSF, 2008)

Civitas: Toward a Secure Voting System. - Michael R. Clarkson; Stephen Chong; Andrew C. Myers (SP, 2008)

Expressive and Enforceable Information Security Policies. - Stephen Chong (2008)

Towards Semantics for Provenance Security. - Stephen Chong (Workshop on the Theory and Practice of Provenance, 2009)

Provenance: a future history. - James Cheney; Stephen Chong; Nate Foster; Margo I. Seltzer; Stijn Vansummeren (OOPSLA Companion, 2009)

Deriving epistemic conclusions from agent architecture. - Stephen Chong; Ron van der Meyden (TARK, 2009)

Building secure web applications with automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (Commun. ACM, 2009)

Self-identifying sensor data. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (IPSN, 2010)

A more precise security type system for dynamic security tests. - Gregory Malecha; Stephen Chong (PLAS, 2010)

Static Analysis for Efficient Hybrid Information-Flow Control. - Scott Moore 001; Stephen Chong (CSF, 2011)

Inference of Expressive Declassification Policies. - Jeffrey A. Vaughan; Stephen Chong (IEEE Symposium on Security and Privacy, 2011)

Precise enforcement of progress-sensitive security. - Scott Moore 001; Aslan Askarov; Stephen Chong (CCS, 2012)

Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies. - Aslan Askarov; Stephen Chong (CSF, 2012)

Towards a practical secure concurrent language. - Stefan K. Muller; Stephen Chong (OOPSLA, 2012)

Required information release. - Stephen Chong (J. Comput. Secur., 2012)

Asynchronous functional reactive programming for GUIs. - Evan Czaplicki; Stephen Chong (PLDI, 2013)

Towards fully automatic placement of security sanitizers and declassifiers. - Benjamin Livshits; Stephen Chong (POPL, 2013)

Enforcing Language Semantics Using Proof-Carrying Data. - Stephen Chong; Eran Tromer; Jeffrey A. Vaughan (IACR Cryptol. ePrint Arch., 2013)

Declarative Policies for Capability Control. - Christos Dimoulas; Scott Moore 001; Aslan Askarov; Stephen Chong (CSF, 2014)

Language-based capabilities. - Stephen Chong (PSP, 2014)

SHILL: A Secure Shell Scripting Language. - Scott Moore 001; Christos Dimoulas; Dan King; Stephen Chong (OSDI, 2014)

Hybrid Monitors for Concurrent Noninterference. - Aslan Askarov; Stephen Chong; Heiko Mantel (CSF, 2015)

Cryptographic Enforcement of Language-Based Information Erasure. - Aslan Askarov; Scott Moore 001; Christos Dimoulas; Stephen Chong (CSF, 2015)

Exploring and enforcing security guarantees via program dependence graphs. - Andrew Johnson; Lucas Waye; Scott Moore 001; Stephen Chong (PLDI, 2015)

It's My Privilege: Controlling Downgrading in DC-Labels. - Lucas Waye; Pablo Buiras; Dan King; Stephen Chong; Alejandro Russo (STM, 2015)

End-To-End Policy-Agnostic Security for Database-Backed Applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (CoRR, 2015)

Self-Identifying Data for Fair Use. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (ACM J. Data Inf. Qual., 2015)

Using Architecture to Reason about Information Security. - Stephen Chong; Ron van der Meyden (ACM Trans. Inf. Syst. Secur., 2015)

Automatic enforcement of expressive security policies using enclaves. - Anitha Gollamudi; Stephen Chong (OOPSLA, 2016)

Extensible access control with authorization contracts. - Scott Moore 001; Christos Dimoulas; Robert Bruce Findler; Matthew Flatt; Stephen Chong (OOPSLA, 2016)

Precise, dynamic information flow for database-backed applications. - Jean Yang 001; Travis Hance; Thomas H. Austin; Armando Solar-Lezama; Cormac Flanagan; Stephen Chong (PLDI, 2016)

Correct Audit Logging: Theory and Practice. - Sepehr Amir-Mohammadian; Stephen Chong; Christian Skalka (POST, 2016)

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. - Andrew Bedford; Stephen Chong; Josée Desharnais; Nadia Tawbi (SEC, 2016)

Report on the NSF Workshop on Formal Methods for Security. - Stephen Chong; Joshua D. Guttman; Anupam Datta; Andrew C. Myers; Benjamin C. Pierce; Patrick Schaumont; Tim Sherwood; Nickolai Zeldovich (CoRR, 2016)

Truthful Mechanisms for Agents That Value Privacy. - Yiling Chen 001; Stephen Chong; Ian A. Kash; Tal Moran; Salil P. Vadhan (ACM Trans. Economics and Comput., 2016)

Authorization Contracts. - Stephen Chong (PLAS@CCS, 2017)

Cryptographically Secure Information Flow Control on Key-Value Stores. - Lucas Waye; Pablo Buiras; Owen Arden; Alejandro Russo; Stephen Chong (CCS, 2017)

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). - Andrew Bedford; Stephen Chong; Josée Desharnais; Elisavet Kozyri; Nadia Tawbi (Comput. Secur., 2017)

Whip: higher-order contracts for modern services. - Lucas Waye; Stephen Chong; Christos Dimoulas (Proc. ACM Program. Lang., 2017)

FormuLog: Datalog for static analysis involving logical formulae. - Aaron Bembenek; Stephen Chong (CoRR, 2018)

Information Flow Control for Distributed Trusted Execution Environments. - Anitha Gollamudi; Stephen Chong; Owen Arden (CSF, 2019)

Programming with Flow-Limited Authorization: Coarser is Better. - Mathias Vorreiter Pedersen; Stephen Chong (EuroS&P, 2019)

Machine Learning-Enabled Adaptation of Information Fusion Software Systems. - Gerald Fry; T. Samawi; Kenny Lu; Avi Pfeffer; Curt Wu; Steve Marotta; Michael Reposa; Stephen Chong (FUSION, 2019)

Relational Symbolic Execution. - Gian Pietro Farina; Stephen Chong; Marco Gaboardi (PPDP, 2019)

Trials and Tribulations in Synthesizing Operating Systems. - Jingmei Hu; Eric Lu; David A. Holland; Ming Kawaguchi; Stephen Chong; Margo I. Seltzer (PLOS@SOSP, 2019)

Aquarium Technical Report Preprint. - Ming Kawaguchi; Jingmei Hu; Eric Lu; David A. Holland; Stephen Chong; Margo I. Seltzer (CoRR, 2019)

Formalizing Privacy Laws for License Generation and Data Repository Decision Automation. - Micah Altman; Stephen Chong; Alexandra Wood (CoRR, 2019)

Formulog: Datalog for SMT-Based Static Analysis (Extended Version). - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (CoRR, 2020)

Formulog: Datalog for SMT-based static analysis. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2020)

Fine-Grained, Language-Based Access Control for Database-Backed Applications. - Ezra Zigmond; Stephen Chong; Christos Dimoulas; Scott Moore 001 (Art Sci. Eng. Program., 2020)

Relational Analysis of Sensor Attacks on Cyber-Physical Systems. - Jian Xiang; Nathan Fulton; Stephen Chong (CSF, 2021)

Coupled Relational Symbolic Execution for Differential Privacy. - Gian Pietro Farina; Stephen Chong; Marco Gaboardi (ESOP, 2021)

Fast incremental PEG parsing. - Zachary Yedidia; Stephen Chong (SLE, 2021)

Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages. - Jian Xiang; Stephen Chong (SP, 2021)

Assuage: Assembly Synthesis Using A Guided Exploration. - Jingmei Hu; Priyan Vaithilingam; Stephen Chong; Margo I. Seltzer; Elena L. Glassman (UIST, 2021)

A Calculus for Flow-Limited Authorization. - Owen Arden; Anitha Gollamudi; Ethan Cecchetti; Stephen Chong; Andrew C. Myers (CoRR, 2021)

Formulog: Datalog + SMT + FP. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Datalog, 2022)

Expressing Information Flow Properties. - Elisavet Kozyri; Stephen Chong; Andrew C. Myers (Found. Trends Priv. Secur., 2022)

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. - Stephen Chong; Ruggero Lanotte; Massimo Merro; Simone Tini; Jian Xiang (HSCC, 2023)

Expressive Authorization Policies using Computation Principals. - Anitha Gollamudi; Stephen Chong (SACMAT, 2023)

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2023)

Towards Porting Operating Systems with Program Synthesis. - Jingmei Hu; Eric Lu; David A. Holland; Ming Kawaguchi; Stephen Chong; Margo I. Seltzer (ACM Trans. Program. Lang. Syst., 2023)

Guess & Sketch: Language Model Guided Transpilation. - Celine Lee; Abdulrahman Mahmoud; Michal Kurek; Simone Campanoni; David Brooks 001; Stephen Chong; Gu-Yeon Wei; Alexander M. Rush (ICLR, 2024)

Parallel Assembly Synthesis. - Jingmei Hu; Stephen Chong; Margo I. Seltzer (LOPSTR, 2024)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. - Jian Xiang; Ruggero Lanotte; Simone Tini; Stephen Chong; Massimo Merro (CoRR, 2024)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version). - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (CoRR, 2024)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2024)

Accountability, Involvement, and Mediation for Information Flow. - Elisavet Kozyri; Fred B. Schneider; Stephen Chong (CSF, 2025)

Extending Dynamic Logics with First-Class Relational Reasoning. - Jian Xiang; Stephen Chong (NFM, 2025)