Stephen Chong

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 43

Top Topics

Information Flow Control

Symbolic Execution

Guided Exploration

Top Venues

Proc. ACM Program. Lang.

Publications

Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. CoRR (2024)
Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni, David Brooks, Stephen Chong, Gu-Yeon Wei, Alexander M. Rush
Guess & Sketch: Language Model Guided Transpilation. ICLR (2024)
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC (2023)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni, David Brooks, Stephen Chong, Gu-Yeon Wei, Alexander M. Rush
Guess & Sketch: Language Model Guided Transpilation. CoRR (2023)
Anitha Gollamudi, Stephen Chong
Expressive Authorization Policies using Computation Principals. SACMAT (2023)
Aaron Bembenek, Michael Greenberg, Stephen Chong
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. Proc. ACM Program. Lang. 7 (POPL) (2023)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog + SMT + FP. Datalog (2022)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. CoRR (2022)
Elisavet Kozyri, Stephen Chong, Andrew C. Myers
Expressing Information Flow Properties. Found. Trends Priv. Secur. 3 (1) (2022)
Zachary Yedidia, Stephen Chong
Fast incremental PEG parsing. SLE (2021)
Jian Xiang, Nathan Fulton, Stephen Chong
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CSF (2021)
Jingmei Hu, Priyan Vaithilingam, Stephen Chong, Margo I. Seltzer, Elena L. Glassman
Assuage: Assembly Synthesis Using A Guided Exploration. UIST (2021)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. ESOP (2021)
Jian Xiang, Nathan Fulton, Stephen Chong
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. CoRR (2021)
Jian Xiang, Stephen Chong
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages. IEEE Symposium on Security and Privacy (2021)
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CoRR (2021)
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
Fine-Grained, Language-Based Access Control for Database-Backed Applications. Art Sci. Eng. Program. 4 (2) (2020)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-based static analysis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). CoRR (2020)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Coupled Relational Symbolic Execution for Differential Privacy. CoRR (2020)
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
Fine-Grained, Language-Based Access Control for Database-Backed Applications. CoRR (2019)
Anitha Gollamudi, Stephen Chong, Owen Arden
Information Flow Control for Distributed Trusted Execution Environments. CSF (2019)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. PPDP (2019)
Micah Altman, Stephen Chong, Alexandra Wood
Formalizing Privacy Laws for License Generation and Data Repository Decision Automation. CoRR (2019)
Gerald Fry, Tameem Samawi, Kenny Lu, Avi Pfeffer, Curt Wu, Steve Marotta, Michael Reposa, Stephen Chong
Machine Learning-Enabled Adaptation of Information Fusion Software Systems. FUSION (2019)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Trials and Tribulations in Synthesizing Operating Systems. PLOS@SOSP (2019)
Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
Aquarium Technical Report Preprint. CoRR (2019)
Mathias Vorreiter Pedersen, Stephen Chong
Programming with Flow-Limited Authorization: Coarser is Better. EuroS&P (2019)
Aaron Bembenek, Stephen Chong
FormuLog: Datalog for static analysis involving logical formulae. CoRR (2018)
Stephen Chong
Authorization Contracts. PLAS@CCS (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CCS (2017)
Lucas Waye, Stephen Chong, Christos Dimoulas
Whip: higher-order contracts for modern services. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Relational Symbolic Execution. CoRR (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CoRR (2017)
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71 (2017)
Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
Report on the NSF Workshop on Formal Methods for Security. CoRR (2016)
Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka
Correct Audit Logging: Theory and Practice. POST (2016)
Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan
Truthful Mechanisms for Agents That Value Privacy. ACM Trans. Economics and Comput. 4 (3) (2016)
Anitha Gollamudi, Stephen Chong
Automatic enforcement of expressive security policies using enclaves. OOPSLA (2016)
Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC (2016)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
Precise, dynamic information flow for database-backed applications. PLDI (2016)
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
Extensible access control with authorization contracts. OOPSLA (2016)
Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong
Cryptographic Enforcement of Language-Based Information Erasure. CSF (2015)
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-Identifying Data for Fair Use. ACM J. Data Inf. Qual. 5 (3) (2015)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR (2015)
Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
It's My Privilege: Controlling Downgrading in DC-Labels. STM (2015)
Aslan Askarov, Stephen Chong, Heiko Mantel
Hybrid Monitors for Concurrent Noninterference. CSF (2015)
Stephen Chong, Ron van der Meyden
Using Architecture to Reason about Information Security. ACM Trans. Inf. Syst. Secur. 18 (2) (2015)
Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong
Exploring and enforcing security guarantees via program dependence graphs. PLDI (2015)
Stephen Chong, Ron van der Meyden
Using Architecture to Reason about Information Security. CoRR (2014)
Scott Moore, Christos Dimoulas, Dan King, Stephen Chong
SHILL: A Secure Shell Scripting Language. OSDI (2014)
Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong
Declarative Policies for Capability Control. CSF (2014)
Stephen Chong
Language-based capabilities. PSP (2014)
Stephen Chong, Eran Tromer, Jeffrey A. Vaughan
Enforcing Language Semantics Using Proof-Carrying Data. IACR Cryptol. ePrint Arch. 2013 (2013)
Benjamin Livshits, Stephen Chong
Towards fully automatic placement of security sanitizers and declassifiers. POPL (2013)
Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan
Truthful mechanisms for agents that value privacy. EC (2013)
Evan Czaplicki, Stephen Chong
Asynchronous functional reactive programming for GUIs. PLDI (2013)
Stefan K. Muller, Stephen Chong
Towards a practical secure concurrent language. OOPSLA (2012)
Scott Moore, Aslan Askarov, Stephen Chong
Precise enforcement of progress-sensitive security. CCS (2012)
Stephen Chong
Required information release. J. Comput. Secur. 20 (6) (2012)
Aslan Askarov, Stephen Chong
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies. CSF (2012)
Jeffrey A. Vaughan, Stephen Chong
Inference of Expressive Declassification Policies. IEEE Symposium on Security and Privacy (2011)
Scott Moore, Stephen Chong
Static Analysis for Efficient Hybrid Information-Flow Control. CSF (2011)
Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan
Truthful Mechanisms for Agents that Value Privacy CoRR (2011)
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-identifying sensor data. IPSN (2010)
Stephen Chong
Required Information Release. CSF (2010)
Gregory Malecha, Stephen Chong
A more precise security type system for dynamic security tests. PLAS (2010)
James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren
Provenance: a future history. OOPSLA Companion (2009)
Stephen Chong
Towards Semantics for Provenance Security. Workshop on the Theory and Practice of Provenance (2009)
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) (2009)
Stephen Chong, Ron van der Meyden
Deriving epistemic conclusions from agent architecture. TARK (2009)
Michael R. Clarkson, Stephen Chong, Andrew C. Myers
Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy (2008)
Stephen Chong, Andrew C. Myers
End-to-End Enforcement of Erasure and Declassification. CSF (2008)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Secure web application via automatic partitioning. SOSP (2007)
Stephen Chong, K. Vikram, Andrew C. Myers
SIF: Enforcing Confidentiality and Integrity in Web Applications. USENIX Security Symposium (2007)
Michael E. Clarkson, Stephen Chong, Andrew C. Myers
Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting (2007)
Stephen Chong, Andrew C. Myers
Decentralized Robustness. CSFW (2006)
Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong
Information-Flow Security for Interactive Programs. CSFW (2006)
Stephen Chong, Andrew C. Myers
Language-Based Information Erasure. CSFW (2005)
Stephen Chong, Riccardo Pucella
A Framework for Creating Natural Language User Interfaces for Action-Based Applications CoRR (2004)
Stephen Chong, Andrew C. Myers
Security policies for downgrading. CCS (2004)
Hubie Chen, Stephen Chong
Owned Policies for Information Security. CSFW (2004)
Nathaniel Nystrom, Stephen Chong, Andrew C. Myers
Scalable extensibility via nested inheritance. OOPSLA (2004)
Stephen Chong, Radu Rugina
Static Analysis of Accessed Regions in Recursive Data Structures. SAS (2003)
Riccardo Pucella, Stephen Chong
Review of type-logical semantics. SIGACT News 34 (1) (2003)
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)