Report on the Pvote security review
Ka-Ping Yee · 2007
This document reports on the source code review of the Pvote software. Pvote is prototype software for electronic voting machines. The software and the scope of the review are described in UCB EECS Technical Report 2007-40