{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:33:57Z","timestamp":1743028437308,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030916305"},{"type":"electronic","value":"9783030916312"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91631-2_11","type":"book-chapter","created":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T21:02:24Z","timestamp":1637269344000},"page":"198-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Declaration of Software Independence"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[]},{"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[]},{"given":"Philip B.","family":"Stark","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,19]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Appel, A., DeMillo, R., Stark, P.: Ballot-marking devices cannot assure the will of the voters. Election Law J. Rules Polit. Policy 19(3) (2020). https:\/\/doi.org\/10.1089\/elj.2019.0619","DOI":"10.1089\/elj.2019.0619"},{"key":"11_CR2","unstructured":"Appel, A., Stark, P.: Evidence-based elections: create a meaningful paper trail, then audit. Georgetown Law Technol. Rev. 4(2), 523\u2013541 (2020). https:\/\/georgetownlawtechreview.org\/wp-content\/uploads\/2020\/07\/4.2-p523-541-Appel-Stark.pdf"},{"key":"11_CR3","unstructured":"Benaloh, J., Rivest, R., Ryan, P.Y., Stark, P., Teague, V., Vora, P.: End-to-end verifiability (2015). arXiv:1504.03778"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-68687-5_6","volume-title":"Electronic Voting","author":"M Bernhard","year":"2017","unstructured":"Bernhard, M., et al.: Public evidence from secret ballots. In: Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O., Sch\u00fcrmann, C. (eds.) E-Vote-ID 2017. LNCS, vol. 10615, pp. 84\u2013109. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68687-5_6"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Bernhard, M., et al.: Can voters detect malicious manipulation of ballot marking devices? In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 679\u2013694 (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00118","DOI":"10.1109\/SP40000.2020.00118"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"DeMillo, R., Kadel, R., Marks, M.: What voters are asked to verify affects ballot verification: a quantitative analysis of voters\u2019 memories of their ballots. Technical report (2018)","DOI":"10.2139\/ssrn.3292208"},{"key":"11_CR7","unstructured":"Election Assistance Commission: Voluntary voting system guidelines VVSG 2.0 (2021). https:\/\/www.eac.gov\/sites\/default\/files\/TestingCertification\/Voluntary_Voting_System_Guidelines_Version_2_0.pdf"},{"key":"11_CR8","unstructured":"Everett, S.: The Usability of Electronic Voting Machines and How Votes Can Be Changed Without Detection. Ph.D. thesis, Rice University (2007)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Hao, F., Ryan, P.Y.A.: Real-World Electronic Voting: Design, 1st edn. Analysis and Deployment. Auerbach Publications, USA (2016)","DOI":"10.1201\/9781315371290"},{"key":"11_CR10","unstructured":"Haynes, A., III, M.H.: Georgia voter verification study. Technical report (2021)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Verifiability, privacy, and coercion-resistance: new insights from a case study. In: 32nd IEEE Symposium on Security and Privacy, pp. 538\u2013553 (2011)","DOI":"10.1109\/SP.2011.21"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Rivest, R.: On the notion of \u201csoftware independence\u201d in voting systems. Philos. Trans. Royal Soc. A: Math. Phys. Eng. Sci. 366(1881), 3759\u20133767 (2008)","DOI":"10.1098\/rsta.2008.0149"},{"key":"11_CR13","unstructured":"Rivest, R., Wack, J.: On the notion of \u201csoftware independence\u201d in voting systems (draft version of July 28, 2006). Technical report, Information Technology Laboratory, National Institute of Standards and Technology (2006)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Stark, P.: Conservative statistical post-election audits. Ann. Appl. Stat. 2, 550\u2013581 (2008)","DOI":"10.1214\/08-AOAS161"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MSP.2012.62","volume":"10","author":"P Stark","year":"2012","unstructured":"Stark, P., Wagner, D.: Evidence-based elections. IEEE Secur. Priv. 10, 33\u201341 (2012)","journal-title":"IEEE Secur. Priv."}],"container-title":["Lecture Notes in Computer Science","Protocols, Strands, and Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91631-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T13:06:20Z","timestamp":1652101580000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91631-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030916305","9783030916312"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91631-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}