Steve Zdancewic

发表

Steve Zdancewic, Stephen Tse, S. Zdancewic, 2005, ESOP.
Peng Li, Steve Zdancewic, S. Zdancewic, 2005, POPL '05.
Steve Zdancewic, Stephen Tse, Stephen Tse, 2004, ICFP '04.
Benjamin C. Pierce, Nate Foster, Steve Zdancewic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2012, POPL '12.
Robert Rand, Steve Zdancewic, Robert Rand, 2015, MFPS.
Marco Gaboardi, Damiano Mazza, Steve Zdancewic, 2014, ESOP.
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Osbert Bastani, S. Zdancewic, George Tolkachev, 2022, ACL.
Santosh Nagarakatte, Steve Zdancewic, Milo M.K. Martin, 2013, PLDI.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2009, PLDI '09.
F. Bastani, Stephen Mell, O. Bastani, 2023, CAV.
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Milo M. K. Martin, Colin Blundell, Steve Zdancewic, 2008, ASPLOS.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2010, ISMM '10.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2015, SNAPL.
Andrew C. Myers, Stephen Chong, Lantian Zheng, 2003, 2003 Symposium on Security and Privacy, 2003..
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2001, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2002, TOCS.
Steve Zdancewic, S. Zdancewic, Steve Zdancewic, 2002 .
Andrew C. Myers, Steve Zdancewic, S. Zdancewic, 2002 .
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 2000, TOPL.
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 1999, ICFP '99.
Dan Grossman, Steve Zdancewic, D. Grossman, 1999 .
Brett Hemenway, Steve Zdancewic, Marcella Hastings, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Andrew C. Myers, Steve Zdancewic, A. Myers, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..