Patrick McDaniel et al. EVEREST: Evaluation and Validation of Election-Related Equipment, Standards and Testing, December 2007. [ bib | .pdf ]

Matt Blaze, Arel Cordero, Sophie Engle, Chris Karlof, Naveen Sastry, Micah Sherr, Till Stegers, and Ka-Ping Yee. Source Code Review of the Sequoia Voting System, July 2007. Part of the California Secretary of State Top-to-Bottom Review of electronic voting machines. [ bib | .pdf ]

Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, and Sampath Kannan. Security protocols with isotropic channels. Technical Report TR-CIS-06-18, Department of Computer and Information Science, University of Pennsylvania, November 2006. [ bib ]