Michael Clarkson
Michael Clarkson
Lecturer in 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
6082010
Polyglot: An extensible compiler framework for Java
N Nystrom, MR Clarkson, AC Myers
International Conference on Compiler Construction, 138-152, 2003
5332003
Civitas: Toward a secure voting system
MR Clarkson, S Chong, AC Myers
2008 IEEE Symposium on Security and Privacy (sp 2008), 354-368, 2008
4852008
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
International Conference on Principles of Security and Trust, 265-284, 2014
1882014
Belief in information flow
MR Clarkson, AC Myers, FB Schneider
18th IEEE Computer Security Foundations Workshop (CSFW'05), 31-45, 2005
1632005
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
1062006
Quantifying information flow with beliefs
MR Clarkson, AC Myers, FB Schneider
Journal of Computer Security 17 (5), 655-701, 2009
1052009
Formal methods application: An empirical tale of software development
AEK Sobel, MR Clarkson
IEEE transactions on software engineering 28 (3), 308-320, 2002
842002
Quantification of integrity
MR Clarkson, FB Schneider
Mathematical Structures in Computer Science 25 (2), 207-258, 2015
622015
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
472014
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
462015
Civitas: A secure remote voting system
M Clarkson, S Chong, A Myers
Dagstuhl Seminar Proceedings, 2008
322008
Coercion-resistant remote voting using decryption mixes
MR Clarkson, AC Myers
In Frontiers in Electronic Elections (FEE 2005, 2005
272005
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
252015
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
252015
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
242013
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
Computational election verifiability: Definitions and an analysis of helios and JCJ
B Smyth, S Frink, MR Clarkson
182015
Election verifiability: Cryptographic definitions and an analysis of helios and jcj
B Smyth, S Frink, MR Clarkson
172017
Software review and security analysis of scytl remote voting software
M Clarkson, B Hay, M Inge, D Wagner, A Yasinsac
122008
The system can't perform the operation now. Try again later.
Articles 1–20