Publications

Most of my publications are listed on DBLP; and my technical reports, on Cornell eCommons. Here are a couple others:

  • Quantification and Formalization of Security. [PDF]
    Ph.D. Dissertation, Cornell University, Ithaca, NY, February 2010. Nominated by Cornell for the ACM Doctoral Dissertation Award.
  • 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.