Stephen Chong

发表

Scott Moore, Stephen Chong, Lucas Waye, 2015, PLDI.
Benjamin Livshits, Stephen Chong, B. Livshits, 2013, POPL 2013.
Michael R. Clarkson, A. Myers, Stephen Chong, 2007 .
Andrew C. Myers, Stephen Chong, Lantian Zheng, 1999 .
Stephen Chong, M. Greenberg, Aaron Bembenek, 2019 .
Xin Zheng, Xin Qi, Andrew C. Myers, 2007, SOSP.
Stephen Chong, J. A. Vaughan, 2010 .
Lucas Waye, Stephen Chong, Christos Dimoulas, 2015 .
Stephen Chong, M. Greenberg, Aaron Bembenek, 2022, Datalog.
Stephen Chong, M. Greenberg, Aaron Bembenek, 2023, Proc. ACM Program. Lang..
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, ArXiv.
Andrew C. Myers, Stephen Chong, Nathaniel Nystrom, 2004, OOPSLA.
AARON BEMBENEK, MICHAEL GREENBERG, STEPHEN CHONG, 2020, Proc. ACM Program. Lang..
Patrick Schaumont, Andrew C. Myers, Benjamin C. Pierce, 2016, ArXiv.
Stephen Chong, Aaron Bembenek, Michael Greenberg, 2020, ArXiv.
Margo I. Seltzer, James Cheney, Stijn Vansummeren, 2009, OOPSLA Companion.
Stephen Chong, Stephen Chong, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Stephen Chong, Evan Czaplicki, Stephen Chong, 2013, PLDI.
Michael R. Clarkson, Andrew C. Myers, Stephen Chong, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Andrew C. Myers, Stephen Chong, Lantian Zheng, 2003, 2003 Symposium on Security and Privacy, 2003..
Andrew C. Myers, Stephen Chong, Michael E. Clarkson, 2007, Frontiers of Electronic Voting.
Scott Moore, Stephen Chong, Dan King, 2014, OSDI.
Andrew C. Myers, Stephen Chong, K. Vikram, 2007, USENIX Security Symposium.
A. Myers, Stephen Chong, Elisavet Kozyri, 2022, Found. Trends Priv. Secur..
Alejandro Russo, Pablo Buiras, Stephen Chong, 2017, CCS.
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, PLDI.
Michael R. Clarkson, Stephen Chong, Kevin R. O'Neill, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Robert Bruce Findler, Matthew Flatt, Christos Dimoulas, 2016, OOPSLA.
Marco Gaboardi, Stephen Chong, Gian Pietro Farina, 2017, PPDP.
Andrew C. Myers, Stephen Chong, A. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Stephen Chong, Lucas Waye, Christos Dimoulas, 2017, Proc. ACM Program. Lang..
Stephen Chong, Margo Seltzer, Jingmei Hu, 2021, UIST.
Stephen Chong, Jian Xiang, Stephen Chong, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Stephen Chong, Owen Arden, Anitha Gollamudi, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Stephen Chong, Mathias Vorreiter Pedersen, Stephen Chong, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Stephen Chong, Anitha Gollamudi, Anitha Gollamudi, 2016, OOPSLA 2016.
Stephen Chong, Ron van der Meyden, Stephen Chong, 2014, TSEC.
Scott Moore, Stephen Chong, Christos Dimoulas, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Stephen Chong, Stefan Muller, Stefan K. Muller, 2012, OOPSLA '12.
Stephen Chong, Aslan Askarov, Stephen Chong, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Stephen Chong, Jeffrey A. Vaughan, Stephen Chong, 2011, 2011 IEEE Symposium on Security and Privacy.
Stephen Chong, Gregory Malecha, Stephen Chong, 2010, PLAS '10.
Andrew C. Myers, Stephen Chong, A. Myers, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Andrew C. Myers, Stephen Chong, A. Myers, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Andrew C. Myers, Stephen Chong, A. Myers, 2004, CCS '04.
Stephen Chong, Hubie Chen, Stephen Chong, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Alexander M. Rush, D. Brooks, Stephen Chong, 2023, ICLR.
Anitha Gollamudi, Stephen Chong, 2023, SACMAT.
Stephen Chong, Eran Tromer, Jeffrey A. Vaughan, 2013, IACR Cryptol. ePrint Arch..
Stephen Chong, Marco Gaboardi, Gian Pietro Farina, 2020, ESOP.
A. Myers, Stephen Chong, K. Vikram, 2007, SOSP.
Stephen Chong, Ron van der Meyden, Stephen Chong, 2009, TARK '09.