E-Voting and Forensics: Prying Open the Black Box. - Matt Bishop; Sean Peisert; Candice Hoke; Mark Graff (EVT/WOTE, 2009)