{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:06:17Z","timestamp":1742951177466,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522395"},{"type":"electronic","value":"9783319522401"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52240-1_2","type":"book-chapter","created":{"date-parts":[[2017,1,25]],"date-time":"2017-01-25T09:11:30Z","timestamp":1485335490000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Margin Computation for Risk-Limiting Audits"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kirsten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Klebanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,26]]},"reference":[{"key":"2_CR1","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S.: Evaluating the \u201csmall scope hypothesis\u201d. Technical report, MIT Laboratory for Computer Science, Cambridge, MA (2003)"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF00183045","volume":"8","author":"JJ Bartholdi","year":"1991","unstructured":"Bartholdi, J.J., Orlin, J.: Single transferable vote resists strategic voting. Soc. Choice Welf. 8, 341\u2013354 (1991)","journal-title":"Soc. Choice Welf."},{"issue":"2","key":"2_CR3","first-page":"115","volume":"19","author":"B Beckert","year":"2014","unstructured":"Beckert, B., Gor\u00e9, R., Sch\u00fcrmann, C., Bormer, T., Wang, J.: Verifying voting schemes. J. Inf. Secur. Appl. 19(2), 115\u2013129 (2014)","journal-title":"J. Inf. Secur. Appl."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). doi: 10.1007\/3-540-49059-0_14"},{"key":"2_CR5","unstructured":"Blom, M.L., Stuckey, P.J., Teague, V., Tidhar, R.: Efficient computation of exact IRV margins. Computing Research Repository (CoRR) abs\/1508.04885 (2015)"},{"key":"2_CR6","unstructured":"Cary, D.: Estimating the margin of victory for instant-runoff voting. In: Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections (EVT\/WOTE). USENIX Association (2011)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24730-2_15"},{"key":"2_CR8","unstructured":"Statistik, D.: Befolkning og valg (2015). http:\/\/www.dst.dk\/valg\/Valg1487635\/other\/2015-Folketingsvalg.pdf . Accessed 23 August 2016"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: International Conference on Theory and Applications of Satisfiability Testing (SAT), Selected Revised Papers, pp. 502\u2013518 (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"2_CR10","unstructured":"Elklit, J., Pade, A.B., Nyholm\u00a0Miller, N.: The parliamentary electoral system in Denmark (2011). http:\/\/www.ft.dk\/Dokumenter\/Publikationer\/Engelsk\/The_Parliamentary_Electorial_System_Denmark.aspx . Accessed 23 August 2016"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0261-3794(91)90004-C","volume":"10","author":"M Gallagher","year":"1991","unstructured":"Gallagher, M.: Proportionality, disproportionality and electoral systems. Elect. Stud. 10(1), 33\u201351 (1991)","journal-title":"Elect. Stud."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-70545-1_20","volume-title":"Computer Aided Verification","author":"A Holzer","year":"2008","unstructured":"Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: FShell: systematic test case generation for dynamic analysis and measurement. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 209\u2013213. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-70545-1_20"},{"key":"2_CR13","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MSP.2012.56","volume":"10","author":"M Lindeman","year":"2012","unstructured":"Lindeman, M., Stark, P.B.: A gentle introduction to risk-limiting audits. IEEE Secur. Priv. 10(5), 42\u201349 (2012)","journal-title":"IEEE Secur. Priv."},{"key":"2_CR15","unstructured":"Magrino, T.R., Rivest, R.L., Shen, E., Wagner, D.: Computing the margin of victory in IRV elections. In: Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections (EVT\/WOTE). USENIX Association (2011)"},{"issue":"1","key":"2_CR16","first-page":"29","volume":"4","author":"A Sarwate","year":"2013","unstructured":"Sarwate, A., Checkoway, S., Shacham, H.: Risk-limiting audits and the margin of victory in nonplurality elections. Stat. Polit. Policy 4(1), 29\u201364 (2013)","journal-title":"Stat. Polit. Policy"},{"key":"2_CR17","unstructured":"Smith, A.M., Butler, E., Popovic, Z.: Quantifying over play: constraining undesirable solutions in puzzle design. In: International Conference on the Foundations of Digital Games (FDG), pp. 221\u2013228 (2013)"},{"key":"2_CR18","unstructured":"Stark, P.B.: Super-simple simultaneous single-ballot risk-limiting audits. In: Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections (EVT\/WOTE), pp. 1\u201316 (2010)"},{"key":"2_CR19","first-page":"18","volume":"1","author":"PB Stark","year":"2014","unstructured":"Stark, P.B., Teague, V.: Verifiable european elections: risk-limiting audits for D\u2019Hondt and its relatives. USENIX J. Elect. Technol. Syst. (JETS) 1, 18\u201339 (2014)","journal-title":"USENIX J. Elect. Technol. Syst. (JETS)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Vorobyov, K., Krishnan, P.: Combining static analysis and constraint solving for automatic test case generation. In: Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 915\u2013920 (2012)","DOI":"10.1109\/ICST.2012.196"}],"container-title":["Lecture Notes in Computer Science","Electronic Voting"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52240-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T12:27:16Z","timestamp":1601468836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52240-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522395","9783319522401"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52240-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"E-Vote-ID","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Electronic Voting","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bregenz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"evoteid2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.e-vote-id.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}