Research

• My interests include security, programming languages, and formal methods.
• Andrew Myers and Fred B. Schneider are my advisors.
• I organize the Cornell Security Discussion Group (SECDG).
• My CV.

Awards

• National Science Foundation Graduate Research Fellowship, 2001.
• Intel Foundation Fellowship, 2007.

Refereed Journal and Conference Papers

• Hyperproperties. [PDF][slides]
  In Proc. IEEE Computer Security Foundations Symposium, June 2008.
  Preliminary full version available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/9480, Cornell University, January 2008.
  Michael R. Clarkson and Fred B. Schneider.
• Civitas: Toward a Secure Voting System. [PDF][slides][software]
  In Proc. IEEE Symposium on Security and Privacy, May 2008.
  Full version available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/7875, Cornell University, May 2007, revised August 2007, November 2007, May 2008. [PDF]
  Preliminary version presented at Dagstuhl Seminar 07311, Frontiers of Electronic Voting, Wadern, Germany, July 2007.
  Michael R. Clarkson, Stephen Chong, Andrew C. Myers.
  (Note:  This system was originally called "CIVS".  We changed the name to "Civitas" in August 2007 to avoid an acronym collision.)
• Quantifying Information Flow with Beliefs.  [PDF]
  To appear in Journal of Computer Security.
  Available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/5766, Cornell University, March 2007.
  Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider.
• Information-Flow Security for Interactive Programs. [PDF][slides]
  In Proc. IEEE Computer Security Foundations Workshop, July 2006.
  Full version available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/5721, Cornell University, April 2006. [PDF]
  Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong.
• Belief in Information Flow. [PDF][slides]
  (Updated to fix minor bugs from the conference version.)
  In Proc. IEEE Computer Security Foundations Workshop, June 2005.
  Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider.
• Polyglot: An Extensible Compiler Framework for Java. [PDF]
  In Proc. International Conference on Compiler Construction, April 2003.
  Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers.
• Formal Methods Application: An Empirical Tale of Software Development. [PDF]
  IEEE Transactions on Software Engineering, 28(3):308-320, March 2002.
  Ann E. Kelley Sobel and Michael R. Clarkson.

Program Committees

• WOTE'06 (Workshop on Trustworthy Elections)

Invited Talks

• IACR Board Meeting (at CRYPTO'08), August 19, 2008:  Civitas [slides]
• Newcastle University, July 3, 2006:  Belief in Information Flow [slides]

Workshop and Other Papers

• Hyperproperties: Verification of Proofs. [PDF] [Isabelle theories]
  Available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/11153, Cornell University, July 2008.
  Denis L. Bueno and Michael R. Clarkson.
• Coercion-Resistant Remote Voting using Decryption Mixes. [PDF][slides]
  Workshop on Frontiers in Electronic Elections, Milan, Italy, September 2005.
  Michael R. Clarkson and Andrew C. Myers.

Past Projects

• PolyJ
• Polyglot
• The Miami University Formal Methods program. Ann Sobel was my undergraduate advisor in this program.

clarkson@cs.cornell.edu
Last updated on January 28, 2008.