On voting machine design for verification and testability

Full Text:

PDF

Buy this Article

Authors:	Cynthia Sturton	University of California, Berkeley, Berkeley, CA, USA
	Susmit Jha	University of California, Berkeley, Berkeley, CA, USA
	Sanjit A. Seshia	University of California, Berkeley, Berkeley, CA, USA
	David Wagner	University of California, Berkeley, Berkeley, CA, USA

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 3 · Downloads (12 Months): 39 · Downloads (cumulative): 408 · Citation Count: 3

Published in:

	· Proceeding
	CCS '09 Proceedings of the 16th ACM conference on Computer and communications security
	Pages 463-476 ACM New York, NY, USA ©2009 table of contents ISBN: 978-1-60558-894-0 doi>10.1145/1653662.1653719

Tools and Resources