Publications and Talks

 

Refereed Journal and Conference Papers
  • Hyperproperties. [PDF]
    Journal of Computer Security. Accepted for publication, March 2009; in press, August 2009. Michael R. Clarkson, Fred B. Schneider. Computing and Information Science Technical Report, http://hdl.handle.net/1813/11660, Cornell University, December 2008, revised June 2009.
  • Hyperproperties. [PDF][CSF slides PPT PDF] [AFOSR slides PPT PDF]
    In Proc. IEEE Computer Security Foundations Symposium, pages 51-65, June 2008. Michael R. Clarkson and Fred B. Schneider. One of three conference papers invited to special (peer-reviewed) issue of Journal of Computer Security.
  • Civitas: Toward a Secure Voting System. [PDF][slides][software]
    In Proc. IEEE Symposium on Security and Privacy, pages 354-368, May 2008. Michael R. Clarkson, Stephen Chong, Andrew C. Myers.
    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].
  • Quantifying Information Flow with Beliefs. [PDF]
    Journal of Computer Security. Accepted for publication, December 2006; in press, January 2009. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider. Computing and Information Science Technical Report, http://hdl.handle.net/1813/5766, Cornell University, March 2007.
  • Information-Flow Security for Interactive Programs. [PDF][slides]
    In Proc. IEEE Computer Security Foundations Workshop, pages 190-201, July 2006. Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong.
    Full version available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/5721, Cornell University, April 2006 [PDF].
  • Belief in Information Flow. [PDF][slides]
    In Proc. IEEE Computer Security Foundations Workshop, pages 31-45, June 2005. Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider. One of three conference papers invited to special (peer-reviewed) issue of Journal of Computer Security.
  • Polyglot: An Extensible Compiler Framework for Java. [PDF]
    In Proc. International Conference on Compiler Construction, pages 138-152, 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.
Other Papers and Reports
  • Quantification and Formalization of Security. [PDF]
    Ph.D. Dissertation, Cornell University, Ithaca, NY, filed August 2009, degree to be conferred February 2010.
  • Civitas: Implementation of a Threshold Cryptosystem. [PDF]
    Computing and Information Science Technical Report, http://hdl.handle.net/1813/11661, Cornell University, December 2008. Adam M. Davis, Dmitri Chmelev, Michael R. Clarkson.
  • Software Review and Security Analysis of Scytl Remote Voting Software. [PDF]
    Report commissioned by the Florida Division of Elections. Filed September 19, 2008. Michael R. Clarkson, Brian Hay, Meador Inge, abhi shelat, David Wagner, Alec Yasinsac.
  • Hyperproperties: Verification of Proofs. [PDF] [Isabelle theories]
    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]
    Presented at Workshop on Frontiers in Electronic Elections, September 2005. Michael R. Clarkson and Andrew C. Myers.
Invited Talks
  • Civitas. Stevens Institute of Technology, March 30, 2009. [slides]
  • Civitas. IACR Board Meeting (at CRYPTO'08), August 19, 2008. [slides]
  • Civitas. Dagstuhl Seminar on Frontiers of Electronic Voting, Wadern, Germany, July 31, 2007.
  • Belief in Information Flow. Newcastle University, July 3, 2006. [slides]

The works distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.