Follow
Michael Clarkson
Michael Clarkson
Provost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell University
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
Hyperproperties
MR Clarkson, FB Schneider
Journal of Computer Security 18 (6), 1157-1210, 2010
8702010
Civitas: Toward a secure voting system
MR Clarkson, S Chong, AC Myers
2008 IEEE Symposium on Security and Privacy (sp 2008), 354-368, 2008
5742008
Polyglot: An extensible compiler framework for Java
N Nystrom, MR Clarkson, AC Myers
International Conference on Compiler Construction, 138-152, 2003
5532003
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
3032014
Belief in information flow
MR Clarkson, AC Myers, FB Schneider
18th IEEE Computer Security Foundations Workshop (CSFW'05), 31-45, 2005
1662005
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
1222006
Quantifying information flow with beliefs
MR Clarkson, AC Myers, FB Schneider
Journal of Computer Security 17 (5), 655-701, 2009
1092009
Formal methods application: An empirical tale of software development
AEK Sobel, MR Clarkson
IEEE transactions on software engineering 28 (3), 308-320, 2002
872002
Quantification of integrity
MR Clarkson, FB Schneider
Mathematical Structures in Computer Science 25 (2), 207-258, 2015
672015
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
552015
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
502014
Civitas: A secure remote voting system
M Clarkson, S Chong, A Myers
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008
352008
Coercion-resistant remote voting using decryption mixes
MR Clarkson, AC Myers
Workshop on Frontiers of Electronic Elections, 2005
302005
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
282015
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
282015
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
272013
Election verifiability: cryptographic definitions and an analysis of Helios and JCJ
B Smyth, S Frink, MR Clarkson
192017
Computational election verifiability: Definitions and an analysis of helios and JCJ
B Smyth, S Frink, MR Clarkson
192015
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
192003
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
142008
The system can't perform the operation now. Try again later.
Articles 1–20