Michael Clarkson
Michael Clarkson
Lecturer in Computer Science, Cornell University
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
Polyglot: An extensible compiler framework for Java
N Nystrom, MR Clarkson, AC Myers
International Conference on Compiler Construction, 138-152, 2003
5092003
Hyperproperties
MR Clarkson, FB Schneider
Journal of Computer Security 18 (6), 1157-1210, 2010
4652010
Civitas: Toward a secure voting system
MR Clarkson, S Chong, AC Myers
2008 IEEE Symposium on Security and Privacy (sp 2008), 354-368, 2008
4052008
Belief in information flow
MR Clarkson, AC Myers, FB Schneider
18th IEEE Computer Security Foundations Workshop (CSFW'05), 31-45, 2005
1502005
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
1312014
Quantifying information flow with beliefs
MR Clarkson, AC Myers, FB Schneider
Journal of Computer Security 17 (5), 655-701, 2009
972009
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
912006
Formal methods application: An empirical tale of software development
AEK Sobel, MR Clarkson
IEEE Transactions on Software Engineering 28 (3), 308-320, 2002
812002
Quantification of integrity
MR Clarkson, FB Schneider
Mathematical Structures in Computer Science 25 (2), 207-258, 2015
562015
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
412014
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
372015
Civitas: A secure remote voting system
M Clarkson, S Chong, A Myers
Dagstuhl Seminar Proceedings, 2008
302008
Coercion-resistant remote voting using decryption mixes
MR Clarkson, AC Myers
In Frontiers in Electronic Elections (FEE 2005, 2005
262005
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
212015
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
212015
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
202003
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
192013
Election verifiability: Cryptographic definitions and an analysis of helios and jcj
B Smyth, S Frink, MR Clarkson
142017
Software review and security analysis of scytl remote voting software
M Clarkson, B Hay, M Inge, D Wagner, A Yasinsac
132008
Computational election verifiability: definitions and an analysis of Helios and JCJ
B Smyth, S Frink, MR Clarkson
122015
The system can't perform the operation now. Try again later.
Articles 1–20