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
8672010
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
5562003
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
3002014
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
1212006
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
892002
Quantification of integrity
MR Clarkson, FB Schneider
Mathematical Structures in Computer Science 25 (2), 207-258, 2015
682015
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
Dagstuhl Seminar Proceedings, 2008
352008
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
Coercion-resistant remote voting using decryption mixes
MR Clarkson, AC Myers
Workshop on Frontiers of Electronic Elections, 2005
282005
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