| Hyperproperties MR Clarkson, FB Schneider Journal of Computer Security 18 (6), 1157-1210, 2010 | 937 | 2010 |
| Civitas: Toward a secure voting system MR Clarkson, S Chong, AC Myers 2008 IEEE Symposium on Security and Privacy (sp 2008), 354-368, 2008 | 606 | 2008 |
| Polyglot: An extensible compiler framework for Java N Nystrom, MR Clarkson, AC Myers International Conference on Compiler Construction, 138-152, 2003 | 553 | 2003 |
| Temporal logics for hyperproperties MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 340 | 2014 |
| Belief in information flow MR Clarkson, AC Myers, FB Schneider 18th IEEE Computer Security Foundations Workshop (CSFW'05), 31-45, 2005 | 166 | 2005 |
| Information-flow security for interactive programs KR O'Neill, MR Clarkson, S Chong 19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-201, 2006 | 124 | 2006 |
| Quantifying information flow with beliefs MR Clarkson, AC Myers, FB Schneider Journal of Computer Security 17 (5), 655-701, 2009 | 109 | 2009 |
| Formal methods application: An empirical tale of software development AEK Sobel, MR Clarkson IEEE transactions on software engineering 28 (3), 308-320, 2002 | 86 | 2002 |
| Quantification of integrity MR Clarkson, FB Schneider Mathematical Structures in Computer Science 25 (2), 207-258, 2015 | 68 | 2015 |
| Du-vote: Remote electronic voting with untrusted computers GS Grewal, MD Ryan, L Chen, MR Clarkson 2015 IEEE 28th Computer Security Foundations Symposium, 155-169, 2015 | 55 | 2015 |
| Quantifying information flow for dynamic secrets P Mardziel, MS Alvim, M Hicks, MR Clarkson 2014 IEEE Symposium on Security and Privacy, 540-555, 2014 | 53 | 2014 |
| Civitas: A secure remote voting system M Clarkson, S Chong, A Myers Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008 | 35 | 2008 |
| Coercion-resistant remote voting using decryption mixes MR Clarkson, AC Myers Workshop on Frontiers of Electronic Elections, 2005 | 30 | 2005 |
| Checking interaction-based declassification policies for android using symbolic execution K Micinski, J Fetter-Degges, J Jeon, JS Foster, MR Clarkson European Symposium on Research in Computer Security, 520-538, 2015 | 29 | 2015 |
| The ontology of craniofacial development and malformation for translational craniofacial research JF Brinkley, C Borromeo, M Clarkson, TC Cox, MJ Cunningham, ... American Journal of Medical Genetics Part C: Seminars in Medical Genetics …, 2013 | 27 | 2013 |
| Response to" Comments on'Formal methods application: an empirical tale of software development"' AEK Sobel, MR Clarkson IEEE Transactions on Software Engineering 29 (6), 572-575, 2003 | 20 | 2003 |
| Election verifiability: cryptographic definitions and an analysis of Helios and JCJ B Smyth, S Frink, MR Clarkson | 19 | 2017 |
| Computational election verifiability: Definitions and an analysis of helios and JCJ B Smyth, S Frink, MR Clarkson | 19 | 2015 |
| Software review and security analysis of scytl remote voting software M Clarkson, B Hay, M Inge, A Shelat, D Wagner, A Yasinsac Review. The Florida Department of State. September 26, 2008 | 14 | 2008 |
| Belief semantics of authorization logic AK Hirsch, MR Clarkson Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 12 | 2013 |
