Steve Zdancewic

发表

Jennifer Paykin, Robert Rand, Steve Zdancewic, 2017, POPL.
Andrew C. Myers, Lantian Zheng, Steve Zdancewic, 2001, SOSP.
Steve Zdancewic, S. Zdancewic, 2004 .
Andrew C. Myers, Steve Zdancewic, A. Myers, 2001, ESOP.
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Jennifer Paykin, Steve Zdancewic, 2018, Math. Struct. Comput. Sci..
Peng Li, Steve Zdancewic, S. Zdancewic, 2005, POPL '05.
Steve Zdancewic, Karl Mazurak, Jianzhou Zhao, 2010 .
Peter-Michael Osera, Steve Zdancewic, Vilhelm Sjöberg, 2012, PLPV '12.
Steve Zdancewic, Limin Jia, Jeffrey A. Vaughan, 2008, ICFP 2008.
Chung-Kil Hur, Steve Zdancewic, Yannick Zakowski, 2020, CPP.
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2019 .
Jennifer Paykin, Steve Zdancewic, 2017, Haskell.
Steve Zdancewic, Lyle Ungar, Amalia Hawkins, 2013 .
Marco Gaboardi, Damiano Mazza, Steve Zdancewic, 2014, ESOP.
Steve Zdancewic, Christine Rizkallah, Dmitri Garbuzov, 2018, ITP.
Michael Hicks, Nikhil Swamy, Steve Zdancewic, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
David Walker, Steve Zdancewic, Jay Ligatti, 2003, ICFP '03.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2002, High. Order Symb. Comput..
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 1999, ICFP '99.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2009, PLDI '09.
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2006, J. Comput. Secur..
Pavol Cerný, Rajeev Alur, Steve Zdancewic, 2006, ICALP.
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.
David Walker, Peter-Michael Osera, Steve Zdancewic, 2016, POPL.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2013, PLDI.
Jennifer Paykin, Steve Zdancewic, 2014, LINEARITY.
Steve Zdancewic, Nick Rioux, 2020, Proc. ACM Program. Lang..
Peng Li, Steve Zdancewic, S. Zdancewic, 2005 .
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2013, IEEE Micro.
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 2000, TOPL.
Steve Zdancewic, Joseph Devietti, Yuanfeng Peng, 2017, CPP.
Insup Lee, Carl A. Gunter, Steve Zdancewic, 2009, 2009 IEEE International Symposium on Policies for Distributed Systems and Networks.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2012, POPL '12.
Jennifer Paykin, Steve Zdancewic, S. Zdancewic, 2019, ArXiv.
Dong-Ho Lee, Jennifer Paykin, Robert Rand, 2019, QPL.
Andrew C. Myers, Steve Zdancewic, S. Zdancewic, 2002 .
Steve Zdancewic, S. Zdancewic, Steve Zdancewic, 2002 .
Robert Rand, Steve Zdancewic, Robert Rand, 2015, MFPS.
Peng Li, Steve Zdancewic, 2010, Theor. Comput. Sci..
Benoît Valiron, Steve Zdancewic, S. Zdancewic, 2014, ICTAC.
Dan Grossman, Steve Zdancewic, D. Grossman, 1999 .
Limin Jia, Steve Zdancewic, 2009, PLAS '09.
Peng Li, Steve Zdancewic, S. Zdancewic, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Andrew C. Myers, Steve Zdancewic, A. Myers, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2015, SNAPL.
Jeehoon Kang, Chung-Kil Hur, Viktor Vafeiadis, 2015, PLDI.
Steve Zdancewic, Lucas Silver, 2021, Proc. ACM Program. Lang..
Steve Zdancewic, S. Zdancewic, 2003, MFPS.
Steve Zdancewic, William Mansky, Dmitri Garbuzov, 2015, CAV.
Steve Zdancewic, Stephen Tse, S. Zdancewic, 2007 .
David Walker, Steve Zdancewic, Jay Ligatti, 2003, ACM SIGPLAN Notices.
Steve Zdancewic, Usa Sammapun, Margaret DeLap, 2003, RV@CAV.
Peng Li, Steve Zdancewic, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Andrew C. Myers, Steve Zdancewic, A. Myers, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2014, CGO '14.
Steve Zdancewic, Stephen Tse, S. Zdancewic, 2004, IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004.
Andrew C. Myers, Stephen Chong, Lantian Zheng, 1999 .
Dan Grossman, David Walker, Stephanie Weirich, 1999 .
David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..
Qi Zhang, Steve Zdancewic, Jianzhou Zhao, 2010, APLAS.
Helen J. Wang, Trent Jaeger, Matt Blaze, 2007 .
Steve Zdancewic, Limin Jia, Jeffrey A. Vaughan, 2008 .
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2020, Proc. ACM Program. Lang..
Steve Zdancewic, 2006 .
Stephanie Weirich, Steve Zdancewic, 2006 .
Peter-Michael Osera, Steve Zdancewic, S. Zdancewic, 2015, PLDI.
Benjamin C. Pierce, Steve Zdancewic, David Walker, 2019, Artifact Digital Object Group.
Steve Zdancewic, Limin Jia, Jeffrey A. Vaughan, 2008 .
Steve Zdancewic, Jianzhou Zhao, Karl Mazurak, 2010, TLDI '10.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2010, ISMM '10.
Jennifer Paykin, Robert Rand, Steve Zdancewic, 2018, QPL.
Andrew C. Myers, Steve Zdancewic, A. Myers, 2000 .
David Walker, Steve Zdancewic, Jay Ligatti, 2006, Sci. Comput. Program..
Steve Zdancewic, Christine Rizkallah, William Mansky, 2018, ArXiv.
Limin Jia, Steve Zdancewic, 2009, SIGP.
Steve Zdancewic, Jeffrey A. Vaughan, S. Zdancewic, 2009 .
Steve Zdancewic, Jeffrey A. Vaughan, S. Zdancewic, 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).
Steve Zdancewic, Stephen Tse, Stephen Tse, 2004, ICFP '04.
Milo M. K. Martin, Colin Blundell, Steve Zdancewic, 2008, ASPLOS.
Jennifer Paykin, Steve Zdancewic, 2016, A List of Successes That Can Change the World.
Steve Zdancewic, Karl Mazurak, S. Zdancewic, 2007, PLAS '07.
Simon L. Peyton Jones, Stephanie Weirich, Steve Zdancewic, 2011, POPL '11.
Milo M. K. Martin, Santosh Nagarakatte, Steve Zdancewic, 2012, 2012 39th Annual International Symposium on Computer Architecture (ISCA).
Steve Zdancewic, 2018, Commun. ACM.
Steve Zdancewic, Stephen Tse, 2008 .
Peng Li, Steve Zdancewic, 2004, LCTES '04.
Brett Hemenway, Steve Zdancewic, Marcella Hastings, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Santosh Nagarakatte, Steve Zdancewic, Milo M.K. Martin, 2013, PLDI.
Steve Zdancewic, Stephen Tse, S. Zdancewic, 2005, ESOP.
Dan Grossman, David Walker, Yannis Smaragdakis, 2010, SIGP.
Benjamin C. Pierce, Nate Foster, Steve Zdancewic, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Steve Zdancewic, Stephen Tse, 2004, IEEE Symposium on Security and Privacy.
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Benjamin C. Pierce, Stephanie Weirich, Nate Foster, 2005, TPHOLs.
Limin Jia, Steve Zdancewic, Jeffrey A. Vaughan, 2008, ICFP.
Milo M. K. Martin, Santosh Nagarakatte, Peter-Michael Osera, 2013, OOPSLA.
Benoît Valiron, Steve Zdancewic, S. Zdancewic, 2014, Sci. Ann. Comput. Sci..
Milo M. K. Martin, Steve Zdancewic, Qingyuan Zhao, 2015 .
Andrew C. Myers, Steve Zdancewic, A. Myers, 2000 .
Limin Jia, Steve Zdancewic, Jeffrey A. Vaughan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Steve Zdancewic, 2011 .
Andrew C. Myers, Stephen Chong, Lantian Zheng, 2003, 2003 Symposium on Security and Privacy, 2003..
Benjamin C. Pierce, Steve Zdancewic, Yishuai Li, 2021, ISSTA.
Steve Zdancewic, Adam Wick, Karl Smeltzer, 2021, Proc. ACM Program. Lang..
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.
Steve Zdancewic, Vadim Zaliva, Yannick Zakowski, 2021, Proc. ACM Program. Lang..
Steve Zdancewic, Lucas Silver, S. Zdancewic, 2021, Proc. ACM Program. Lang..
Carl A. Gunter, Andre Scedrov, Steve Zdancewic, 2003 .
Stephanie Weirich, Steve Zdancewic, Brian Aydemir, 2009 .
Simon Peyton Jones, Stephanie Weirich, Steve Zdancewic, 2010 .
Jennifer Paykin, Steve Zdancewic, 2016 .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Jennifer Paykin, Steve Zdancewic, Neelakantan R. Krishnaswami, 2016 .
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Steve Zdancewic, Karl Mazurak, 2006 .