Michael R. Clarkson

According to our database, Michael R. Clarkson authored at least 19 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Surveying definitions of election verifiability.

Ben Smyth, Michael R. Clarkson

Inf. Process. Lett., 2022

2015

Quantification of integrity.

Michael R. Clarkson, Fred B. Schneider

Math. Struct. Comput. Sci., 2015

Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ.

Ben Smyth, Steven Frink, Michael R. Clarkson

IACR Cryptol. ePrint Arch., 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

Proceedings of the Computer Security - ESORICS 2015, 2015

Du-Vote: Remote Electronic Voting with Untrusted Computers.

Gurchetan S. Grewal, Mark Dermot Ryan, Liqun Chen, Michael R. Clarkson

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Quantifying Information Flow for Dynamic Secrets.

Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Temporal Logics for Hyperproperties.

Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

A Temporal Logic of Security.

Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski

CoRR, 2013

Belief semantics of authorization logic.

Andrew K. Hirsch, Michael R. Clarkson

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Nexus Authorization Logic (NAL): Logical Results

Andrew K. Hirsch, Michael R. Clarkson

CoRR, 2012

2010

Quantification and Formalization of Security.

Michael R. Clarkson

PhD thesis, 2010

Hyperproperties.

Michael R. Clarkson, Fred B. Schneider

J. Comput. Secur., 2010

2009

Quantifying information flow with beliefs.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

J. Comput. Secur., 2009

2008

Civitas: Toward a Secure Voting System.

Michael R. Clarkson, Stephen Chong, Andrew C. Myers

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

2006

Information-Flow Security for Interactive Programs.

Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Belief in Information Flow.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

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

Polyglot: An Extensible Compiler Framework for Java.

Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Formal Methods Application: An Empirical Tale of Software Development.

Ann E. Kelley Sobel, Michael R. Clarkson

IEEE Trans. Software Eng., 2002