Adam Aviv Pavol Cerný Sandy Clark Eric Cronin Gaurav Shah Micah Sherr Matt Blaze Security Evaluation of ES&S Voting Machines and Election Management System. 2008 EVT http://www.usenix.org/events/evt08/tech/full_papers/aviv/aviv.pdf conf/uss/2008evt db/conf/uss/evt2008.html#AvivCCCSSB08