Michael R. Clarkson

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 2

Top Topics

Symbolic Execution

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Ben Smyth, Michael R. Clarkson
Surveying definitions of election verifiability. IACR Cryptol. ePrint Arch. 2022 (2022)
Ben Smyth, Michael R. Clarkson
Surveying definitions of election verifiability. Inf. Process. Lett. 177 (2022)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. CoRR (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. ESORICS (2) (2015)
Ben Smyth, Steven Frink, Michael R. Clarkson
Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ. IACR Cryptol. ePrint Arch. 2015 (2015)
Michael R. Clarkson, Fred B. Schneider
Quantification of integrity. Math. Struct. Comput. Sci. 25 (2) (2015)
Gurchetan S. Grewal, Mark Dermot Ryan, Liqun Chen, Michael R. Clarkson
Du-Vote: Remote Electronic Voting with Untrusted Computers. CSF (2015)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST (2014)
Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson
Quantifying Information Flow for Dynamic Secrets. IEEE Symposium on Security and Privacy (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. CoRR (2014)
Andrew K. Hirsch, Michael R. Clarkson
Belief Semantics of Authorization Logic CoRR (2013)
Andrew K. Hirsch, Michael R. Clarkson
Belief semantics of authorization logic. CCS (2013)
Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
A Temporal Logic of Security. CoRR (2013)
Andrew K. Hirsch, Michael R. Clarkson
Nexus Authorization Logic (NAL): Logical Results CoRR (2012)
Michael R. Clarkson, Fred B. Schneider
Hyperproperties. J. Comput. Secur. 18 (6) (2010)
Michael R. Clarkson, Fred B. Schneider
Quantification of Integrity. CSF (2010)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Quantifying information flow with beliefs. J. Comput. Secur. 17 (5) (2009)
Michael R. Clarkson, Stephen Chong, Andrew C. Myers
Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy (2008)
Michael R. Clarkson, Fred B. Schneider
Hyperproperties. CSF (2008)
Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong
Information-Flow Security for Interactive Programs. CSFW (2006)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Belief in Information Flow. CSFW (2005)
Ann E. Kelley Sobel, Michael R. Clarkson
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". IEEE Trans. Software Eng. 29 (6) (2003)
Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
Polyglot: An Extensible Compiler Framework for Java. CC (2003)
Ann E. Kelley Sobel, Michael R. Clarkson
Formal Methods Application: An Empirical Tale of Software Development. IEEE Trans. Software Eng. 28 (3) (2002)