The DemTech verified elections logging system.
This logging system is a new version of the formally verified logging and assertion system originally called IDebug, and later the Mobius Logging System.
It is now being customized with extensions that concretize research from several pieces of work:
-
David Basin, Felix Klaedtke, and Eugen Zălinescu. "Algorithms for monitoring real-time properties." Runtime Verification. Springer Berlin Heidelberg, 2012. http://link.springer.com/chapter/10.1007/978-3-642-29860-8_20#
-
David Basin, et al. "Monitoring usage-control policies in distributed systems." Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium on. IEEE, 2011.
-
Tigran Antonyan, et al. "Automating voting terminal event log analysis." Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE09). 2009. http://static.usenix.org/event/evtwote09/tech/full_papers/antonyan.pdf
-
Matt Bishop, et al. "E-voting and forensics: Prying open the black box." Proceedings of the 2009 Electronic Voting Technology Workshop/Workshop on Trustworthy Computing (EVT/WOTE’09), Montreal, Canada. 2009. http://static.usenix.org/event/evtwote09/tech/full_papers/bishop.pdf
-
Paul T. Cotton, Andrea L. Mascher, and Douglas W. Jones. "Recommendations for voting system event log contents and semantics." NIST Workshop on a Common Data Formats for Electronic Voting Systems. 2009. http://homepage.cs.uiowa.edu/~jones/voting/voteograph/CDF2009.pdf
-
Sean Peisert, Matt Bishop, and Alec Yasinsac. "Vote selling, voter anonymity, and forensic logging of electronic voting machines." System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on. IEEE, 2009. http://escholarship.org/uc/item/430723k2
-
Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel Rodríguez, Cynthia Sturton, and David Wagner. "Automated Analysis of Election Audit Logs." EVT/WOTE 2012. https://www.usenix.org/conference/evtwote12/automated-analysis-election-audit-logs http://www.truststc.org/reu/11/Posters/Wagner%20Group.pdf
-
David Wagner. "Voting Systems Audit Log Study" 2010 http://www.sos.ca.gov/voting-systems/oversight/directives/audit-log-report.pdf
-
Arel Cordero and David Wagner. "Replayable Voting Machine Audit Logs" EVT 2008. http://static.usenix.org/event/evt08/tech/full_papers/cordero/cordero.pdf
More information about the original IDebug system is found here: http://kindsoftware.com/products/opensource/IDebug/