Formal Methods Application: An Empirical Tale of Software Development. - Ann E. Kelley Sobel; Michael R. Clarkson (IEEE Trans. Software Eng., 2002)

Polyglot: An Extensible Compiler Framework for Java. - Nathaniel Nystrom; Michael R. Clarkson; Andrew C. Myers (CC, 2003)

Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". - Ann E. Kelley Sobel; Michael R. Clarkson (IEEE Trans. Software Eng., 2003)

Belief in Information Flow. - Michael R. Clarkson; Andrew C. Myers; Fred B. Schneider (CSFW, 2005)

Information-Flow Security for Interactive Programs. - Kevin R. O'Neill; Michael R. Clarkson; Stephen Chong (CSFW, 2006)

Civitas: Toward a Secure Voting System. - Michael R. Clarkson; Stephen Chong; Andrew C. Myers (SP, 2008)

Quantifying information flow with beliefs. - Michael R. Clarkson; Andrew C. Myers; Fred B. Schneider (J. Comput. Secur., 2009)

Hyperproperties. - Michael R. Clarkson; Fred B. Schneider (J. Comput. Secur., 2010)

Quantification and Formalization of Security. - Michael R. Clarkson (2010)

Nexus Authorization Logic (NAL): Logical Results - Andrew K. Hirsch; Michael R. Clarkson (CoRR, 2012)

Belief semantics of authorization logic. - Andrew K. Hirsch; Michael R. Clarkson (CCS, 2013)

A Temporal Logic of Security. - Masoud Koleini; Michael R. Clarkson; Kristopher K. Micinski (CoRR, 2013)

Temporal Logics for Hyperproperties. - Michael R. Clarkson; Bernd Finkbeiner; Masoud Koleini; Kristopher K. Micinski; Markus N. Rabe; César Sánchez 001 (POST, 2014)

Quantifying Information Flow for Dynamic Secrets. - Piotr Mardziel; Mário S. Alvim; Michael W. Hicks; Michael R. Clarkson (IEEE Symposium on Security and Privacy, 2014)

Du-Vote: Remote Electronic Voting with Untrusted Computers. - Gurchetan S. Grewal; Mark Dermot Ryan; Liqun Chen 002; Michael R. Clarkson (CSF, 2015)

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. - Kristopher K. Micinski; Jonathan Fetter-Degges; Jinseong Jeon; Jeffrey S. Foster; Michael R. Clarkson (ESORICS (2), 2015)

Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ. - Ben Smyth; Steven Frink; Michael R. Clarkson (IACR Cryptol. ePrint Arch., 2015)

Quantification of integrity. - Michael R. Clarkson; Fred B. Schneider (Math. Struct. Comput. Sci., 2015)

Surveying definitions of election verifiability. - Ben Smyth; Michael R. Clarkson (Inf. Process. Lett., 2022)