Stephen Chong - RankMe

95 papers A* 16A 17B 3C 4Misc 1Journal 34Unranked 18

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