{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:25Z","timestamp":1750307785786,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T00:00:00Z","timestamp":1193529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,28]]},"DOI":"10.1145\/1315245.1315278","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"256-265","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["An independent audit framework for software dependent voting systems"],"prefix":"10.1145","author":[{"given":"Sujata","family":"Garera","sequence":"first","affiliation":[{"name":"Johns Hopkins University, Baltimore, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aviel D.","family":"Rubin","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, Baltimore, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"41","volume-title":"Fast and Portable Dynamic Translator. In Proceedings of USENIX 2005 Annual Technical Conference, FREENIX Track","author":"Bellard Fabrice","unstructured":"Fabrice Bellard . QEMU , a Fast and Portable Dynamic Translator. In Proceedings of USENIX 2005 Annual Technical Conference, FREENIX Track , pages 41 -- 46 . Fabrice Bellard. QEMU, a Fast and Portable Dynamic Translator. In Proceedings of USENIX 2005 Annual Technical Conference, FREENIX Track, pages 41--46."},{"key":"e_1_3_2_1_2_1","volume-title":"John Wack. Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC","author":"Burr William","year":"2006","unstructured":"William Burr , John Kelsey , Rene Peralta , and John Wack. Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC , 2006 . William Burr, John Kelsey, Rene Peralta, and John Wack. Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC, 2006."},{"key":"e_1_3_2_1_3_1","volume-title":"Source Code Review of the Diebold Voting System","author":"Calandrino Joseph A.","year":"2007","unstructured":"Joseph A. Calandrino , Ariel J. Feldman , J. Alex Halderman , David Wagner , Harlan Yu , and William P . Zeller . Source Code Review of the Diebold Voting System , 2007 . http:\/\/www.sos.ca.gov\/elections\/elections_vsr.htm. Joseph A. Calandrino, Ariel J. Feldman, J. Alex Halderman, David Wagner, Harlan Yu, and William P. Zeller. Source Code Review of the Diebold Voting System, 2007. http:\/\/www.sos.ca.gov\/elections\/elections_vsr.htm."},{"key":"e_1_3_2_1_4_1","volume-title":"Lagrande technology architectural overview","author":"Intel Corp.","year":"2003","unstructured":"Intel Corp. Lagrande technology architectural overview , 2003 . Intel Corp. Lagrande technology architectural overview, 2003."},{"key":"e_1_3_2_1_5_1","volume-title":"Intel Virtualization Technology","author":"Dong Yaozu","year":"2006","unstructured":"Yaozu Dong , Shaofan Li , Asit Mallick , Jun Nakajima , Kun Tian , Xuefei Xu , Fred Yang , and Wilfred Yu . Extending Xen with Intel Virtualization Technology . Intel Virtualization Technology , 10, August , 2006 . Yaozu Dong, Shaofan Li, Asit Mallick, Jun Nakajima, Kun Tian, Xuefei Xu, Fred Yang, and Wilfred Yu. Extending Xen with Intel Virtualization Technology. Intel Virtualization Technology, 10, August, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_8_1","volume-title":"November","author":"Edelstein William A","year":"2006","unstructured":"William A Edelstein . New Voting Systems for NY - Long Lines and High Cost , November 2006 . http:\/\/www.nyvv.org\/voterlines.shtml. William A Edelstein. New Voting Systems for NY - Long Lines and High Cost, November 2006. http:\/\/www.nyvv.org\/voterlines.shtml."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1323111.1323113"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"e_1_3_2_1_11_1","volume-title":"Garfinkel and Mendel Rosenblum. A Virtual Machine Introspection Based Architecture for Intrusion Detection. In Proceedings of Network and Distributed Systems Security Symposium","author":"Tal","year":"2003","unstructured":"Tal Garfinkel and Mendel Rosenblum. A Virtual Machine Introspection Based Architecture for Intrusion Detection. In Proceedings of Network and Distributed Systems Security Symposium , February 2003 . Tal Garfinkel and Mendel Rosenblum. A Virtual Machine Introspection Based Architecture for Intrusion Detection. In Proceedings of Network and Distributed Systems Security Symposium, February 2003."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of USENIX\/ACCURATE Electronic Voting Technology Workshop","author":"Stephen","year":"2007","unstructured":"Stephen N. Goggin and Michael D. Byrne. An Examination of the Auditability of Voter Verified Paper Audit Trail (VVPAT) Ballots . In Proceedings of USENIX\/ACCURATE Electronic Voting Technology Workshop , 2007 . Stephen N. Goggin and Michael D. Byrne. An Examination of the Auditability of Voter Verified Paper Audit Trail (VVPAT) Ballots. In Proceedings of USENIX\/ACCURATE Electronic Voting Technology Workshop, 2007."},{"key":"e_1_3_2_1_13_1","unstructured":"Douglas Jones. Parallel testing during an election. http:\/\/www.cs.uiowa.edu\/~jones\/voting\/testing.shtml#parallel.  Douglas Jones. Parallel testing during an election. http:\/\/www.cs.uiowa.edu\/~jones\/voting\/testing.shtml#parallel."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.38"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Proceedings of USENIX 2005 Annual Technical Conference, General Track","author":"King Samuel T.","unstructured":"Samuel T. King , George W. Dunlap , and Peter M. Chen . Debugging Operating Systems with Time-Traveling Virtual Machines . In Proceedings of USENIX 2005 Annual Technical Conference, General Track , pages 1 -- 15 . Samuel T. King, George W. Dunlap, and Peter M. Chen. Debugging Operating Systems with Time-Traveling Virtual Machines. In Proceedings of USENIX 2005 Annual Technical Conference, General Track, pages 1--15."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301313"},{"key":"e_1_3_2_1_17_1","unstructured":"Kevin Lawton Bryce Denney N. David Guarneri Volker Ruppert and Christophe Bothamy. Bochs the cross platform IA-32 Emulator. http:\/\/bochs.sourceforge.net\/news.html.  Kevin Lawton Bryce Denney N. David Guarneri Volker Ruppert and Christophe Bothamy. Bochs the cross platform IA-32 Emulator. http:\/\/bochs.sourceforge.net\/news.html."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800237.807113"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/800099.803218"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_1_21_1","volume-title":"On the notion of Software Independence in Voting Systems","author":"Rivest Ronald L.","year":"2006","unstructured":"Ronald L. Rivest and John P. Wack . On the notion of Software Independence in Voting Systems , 2006 . Ronald L. Rivest and John P. Wack. On the notion of Software Independence in Voting Systems, 2006."},{"key":"e_1_3_2_1_22_1","first-page":"22","volume-title":"Proceedings of the 15th conference on USENIX Security Symposium","author":"Sastry Naveen","year":"2006","unstructured":"Naveen Sastry , Tadayoshi Kohno , and David Wagner . Designing voting machines for verification . In Proceedings of the 15th conference on USENIX Security Symposium , pages 22 -- 22 , Berkeley, CA, USA , 2006 . USENIX Association. Naveen Sastry, Tadayoshi Kohno, and David Wagner. Designing voting machines for verification. In Proceedings of the 15th conference on USENIX Security Symposium, pages 22--22, Berkeley, CA, USA, 2006. USENIX Association."},{"key":"e_1_3_2_1_23_1","volume-title":"May","author":"Svizzero A. E.","year":"2006","unstructured":"A. E. Svizzero . Authorization Testing for HAVA Plan B Ballot Marking Devices , May 2006 . http:\/\/www.elections.state.ny.us\/NYSBOE\/hava\/VendorAuthorization.pdf. A. E. Svizzero. Authorization Testing for HAVA Plan B Ballot Marking Devices, May 2006. http:\/\/www.elections.state.ny.us\/NYSBOE\/hava\/VendorAuthorization.pdf."},{"key":"e_1_3_2_1_24_1","unstructured":"VMware. Vmware products. http:\/\/www.vmware.com\/.  VMware. Vmware products. http:\/\/www.vmware.com\/."},{"key":"e_1_3_2_1_25_1","unstructured":"David A. Wheeler. SLOCCount toolkit. http:\/\/www.dwheeler.com\/sloccount\/.  David A. Wheeler. SLOCCount toolkit. http:\/\/www.dwheeler.com\/sloccount\/."},{"key":"e_1_3_2_1_26_1","unstructured":"Wikipedia. Source Lines of Code. http:\/\/en.wikipedia.org\/wiki\/ Source lines of code.  Wikipedia. Source Lines of Code. http:\/\/en.wikipedia.org\/wiki\/ Source lines of code."},{"key":"e_1_3_2_1_27_1","volume-title":"Steven Bellovin. Prerendered User Interfaces for Higher-Assurance Electronic Voting. In Proceedings of the USENIX\/ACCURATE Electronic Voting Technology Workshop","author":"Yee Ka-Ping","year":"2006","unstructured":"Ka-Ping Yee , David Wagner , Marti Hearst , and Steven Bellovin. Prerendered User Interfaces for Higher-Assurance Electronic Voting. In Proceedings of the USENIX\/ACCURATE Electronic Voting Technology Workshop , 2006 . Ka-Ping Yee, David Wagner, Marti Hearst, and Steven Bellovin. Prerendered User Interfaces for Higher-Assurance Electronic Voting. In Proceedings of the USENIX\/ACCURATE Electronic Voting Technology Workshop, 2006."}],"event":{"name":"CCS07: 14th ACM Conference on Computer and Communications Security 2007","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"],"location":"Alexandria Virginia USA","acronym":"CCS07"},"container-title":["Proceedings of the 14th ACM conference on Computer and communications security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315245.1315278","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1315245.1315278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:12Z","timestamp":1750254972000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315245.1315278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,28]]},"references-count":27,"alternative-id":["10.1145\/1315245.1315278","10.1145\/1315245"],"URL":"https:\/\/doi.org\/10.1145\/1315245.1315278","relation":{},"subject":[],"published":{"date-parts":[[2007,10,28]]},"assertion":[{"value":"2007-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}