Michael R. Clarkson - Concepedia

Author

Michael R. Clarkson

Cornell University

Also Known As

Clarkson, Michael R., M. Clarkson, M.R. Clarkson, MICHAEL R. CLARKSON, Michael R. Clarkson

Publications

2.2K

Citations

H-Index

Concepts

All Affiliations

Cornell University Miami University

About

Michael R. Clarkson is an author at Cornell University specializing in computer science, engineering, and verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	1.4K
2	Computer Science	12	12	1.4K
3	Law	2	2	52
4	Management	2	2	211
5	Communication	2	2	211

Michael R. Clarkson

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Civitas: Toward a Secure Voting System Michael R. Clarkson, Stephen Chong, Andrew C. Myers Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy EngineeringInformation-flow Security AnalysisInformation SecurityVerificationFormal Verification	2008	400
Hyperproperties Michael R. Clarkson, Fred B. Schneider Journal of Computer Security EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2010	394
Belief in Information Flow Michael R. Clarkson, Andrew C. Myers, F.B. Schneider EngineeringInformation SecurityInformation LeakageVerificationInformation Forensics	2005	120
Hyperproperties Michael R. Clarkson, Fred B. Schneider EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2008	103
Information-Flow Security for Interactive Programs Kevin O’Neill, Michael R. Clarkson, Stephen Chong EngineeringInformation SecurityVerificationInteractive ProgramsInteractive Imperative Programs	2006	93
Quantifying information flow with beliefs Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider Journal of Computer Security EngineeringInformation SecurityAttacker BeliefsVerificationCommunication	2009	91
Formal methods application: an empirical tale of software development Ann E. Kelley Sobel, Michael R. Clarkson IEEE Transactions on Software Engineering Software MaintenanceEngineeringFormal SolutionsVerificationSoftware Engineering	2002	76
Quantifying Information Flow for Dynamic Secrets Piotr Mardziel, Mário S. Alvim, Michael Hicks, EngineeringInformation SecurityInformation LeakageInformation ForensicsSoftware Analysis	2014	49
Du-Vote: Remote Electronic Voting with Untrusted Computers Gurchetan S. Grewal, Mark Ryan, Liqun Chen, EngineeringInformation SecurityVerificationMalware ToleranceInformation Forensics	2015	38
Quantification of Integrity Michael R. Clarkson, Fred B. Schneider EngineeringInformation SecurityInformation-flow ConfidentialityInformation LeakageVerification	2010	35

Page 1