Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop Voting Systems Technology Assessment Advisory Board (VSTAAB) with the assistance of:

First Page		Document Content
Date: 2014-12-02 18:09:19 Computing Software engineering Information society Interpreter Harri Hursti Voter-verified paper audit trail Software bug Pointer Hursti Hack Electronic voting Election fraud Politics		Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop Voting Systems Technology Assessment Advisory Board (VSTAAB) with the assistance of: Add to Reading List Source URL: votingsystems.cdn.sos.ca.gov Download Document from Source Website File Size: 268,73 KB Share Document on Facebook

	Security Analysis of the Estonian Internet Voting System Drew Springall† Travis Finkenauer† Zakir Durumeric† Jason Kitcat‡ Harri Hursti Margaret MacAlpine J. Alex Halderman† † University of Michigan, Ann Arb DocID: 1lwYh - View Document
	Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop Voting Systems Technology Assessment Advisory Board (VSTAAB) with the assistance of: DocID: 1gAhD - View Document
	Security Analysis of the Estonian Internet Voting System J. Alex Halderman1 Harri Hursti Jason Kitcat2 Margaret MacAlpine Travis Finkenauer1 Drew Springall1 1 University of Michigan, Ann Arbor, MI, U.S.A. DocID: 190Vb - View Document
	Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVEREST∗ Kevin Butler, William Enck, Harri Hursti† , Stephen McLaughlin, Patrick Traynor†† , and Patrick McDaniel {butler, DocID: 18Pnd - View Document
	Security Analysis of the Estonian Internet Voting System Drew Springall† Travis Finkenauer† Zakir Durumeric† Jason Kitcat‡ Harri Hursti Margaret MacAlpine J. Alex Halderman† † University of Michigan, Ann Arb DocID: 14pRO - View Document