@phdthesis{sastry-thesis,
  author =       "Naveen K. Sastry",
  title =        "Verifying Security Properties in Electronic Voting Machines", 
  school =       "University of California at Berkeley",
  year =         "2007",
}