Chris Karlof Naveen Sastry University of California / /
IndustryTerm
printing reports / static source code analysis tool / printing / memory-mapped storage device / election management server / precinct poll site / touchscreen systems / Code analysis tools / software architecture / software point of view / /
Organization
University of California / Berkeley / /
Person
Harri Hursti / /
Position
investigator / C. The AV-OS interpreter / California Secretary / AccuBasic Interpreter David Wagner David Jefferson Matt Bishop / AccuBasic interpreter / The AccuBasic interpreter / AccuBasic interpreter for the AV-OS / Bishop / AV-TSx interpreter / AV-OS AccuBasic interpreter / Secretary of State / AV-OS interpreter / interpreter for the AVTSx touchscreen system / interpreter / programmer / /
Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop Voting Systems Technology Assessment Advisory Board (VSTAAB) with the assistance of: