Michael R. Clarkson

发表

Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2014, Mathematical Structures in Computer Science.
Bernd Finkbeiner, César Sánchez, Michael R. Clarkson, 2013, POST.
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Michael R. Clarkson, Ann E. Kelley Sobel, A. Sobel, 2002, IEEE Trans. Software Eng..
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Michael R. Clarkson, Ann E. Kelley Sobel, 2003, IEEE Trans. Software Eng..
Michael R. Clarkson, Andrew K. Hirsch, 2013, CCS.
Michael R. Clarkson, Mark Ryan, Liqun Chen, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Mário S. Alvim, Michael R. Clarkson, Piotr Mardziel, 2014, 2014 IEEE Symposium on Security and Privacy.
Michael R. Clarkson, Andrew C. Myers, Nathaniel Nystrom, 2003, CC.
Michael R. Clarkson, Stephen Chong, Kevin R. O'Neill, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2010 .
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2009, J. Comput. Secur..
Michael R. Clarkson, Kristopher K. Micinski, Masoud Koleini, 2013, ArXiv.
Michael R. Clarkson, Adam M. Davis, Dmitri Chmelev, 2008 .
Michael R. Clarkson, Denis L. Bueno, 2008 .
Michael R. Clarkson, Andrew C. Myers, Stephen Chong, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Michael R. Clarkson, Jeffrey S. Foster, Jinseong Jeon, 2015, ESORICS.
Ben Smyth, Michael R. Clarkson, Steven Frink, 2015, IACR Cryptol. ePrint Arch..
Michael R. Clarkson, Andrew K. Hirsch, 2012, ArXiv.
Michael R. Clarkson, James H. Fetzer, Paul E. McKenney, 2002 .
Michael R. Clarkson, A. Myers, 2005 .
Michael R. Clarkson, A. Myers, Stephen Chong, 2007 .
Mário S. Alvim, Michael Hicks, Michael R. Clarkson, 2014 .
Michael R. Clarkson, Fred B. Schneider, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.