Michael R. Clarkson

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 · 2008 · 400 citations

Engineering, Information-flow Security Analysis, Information Security +18

Hyperproperties

Michael R. Clarkson, Fred B. Schneider · Journal of Computer Security · 2010 · 394 citations

Engineering, Information Security, Verification +18

Belief in Information Flow

Michael R. Clarkson, Andrew C. Myers, F.B. Schneider · 2005 · 120 citations

Engineering, Information Security, Information Leakage +22

Hyperproperties

Michael R. Clarkson, Fred B. Schneider · 2008 · 103 citations

Engineering, Information Security, Verification +16

Information-Flow Security for Interactive Programs

Kevin O’Neill, Michael R. Clarkson, Stephen Chong · 2006 · 93 citations

Engineering, Information Security, Verification +19