Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Pvote Software Review Assurance Document

Ka-Ping Yee

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2007-40
April 3, 2007

http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-40.pdf

This assurance document is a preparatory guide for reviewers of the Pvote software for voting machines, which is based on the prerendered user interface approach. Pvote is implemented in a subset of Python. This Technical Report contains the version of the assurance document exactly as presented to reviewers at the Pvote Software Security Review that took place at UC Berkeley on March 29, 30, and 31, 2007. The reviewers were Dan Wallach, Dan Sandler, Matt Bishop, Mark Miller, and Tadayoshi Kohno, and Ka-Ping Yee and David Wagner were on hand to present and explain Pvote and answer the reviewers' questions.


BibTeX citation:

@techreport{Yee:EECS-2007-40,
    Author = {Yee, Ka-Ping},
    Title = {Pvote Software Review Assurance Document},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2007},
    Month = {Apr},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-40.html},
    Number = {UCB/EECS-2007-40},
    Abstract = {This assurance document is a preparatory guide for reviewers of the Pvote software for voting machines, which is based on the prerendered user interface approach.  Pvote is implemented in a subset of Python.

This Technical Report contains the version of the assurance document exactly as presented to reviewers at the Pvote Software Security Review that took place at UC Berkeley on March 29, 30, and 31, 2007.  The reviewers were Dan Wallach, Dan Sandler, Matt Bishop, Mark Miller, and Tadayoshi Kohno, and Ka-Ping Yee and David Wagner were on hand to present and explain Pvote and answer the reviewers' questions.}
}

EndNote citation:

%0 Report
%A Yee, Ka-Ping
%T Pvote Software Review Assurance Document
%I EECS Department, University of California, Berkeley
%D 2007
%8 April 3
%@ UCB/EECS-2007-40
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-40.html
%F Yee:EECS-2007-40