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.
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.
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.