{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:38:58Z","timestamp":1725838738750},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319263496"},{"type":"electronic","value":"9783319263502"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26350-2_41","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T10:59:35Z","timestamp":1448103575000},"page":"464-475","source":"Crossref","is-referenced-by-count":11,"title":["Vote Counting as Mathematical Proof"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Pattinson","sequence":"first","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":[[2015,11,22]]},"reference":[{"issue":"3\u20134","key":"41_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/B:JARS.0000021013.61329.58","volume":"31","author":"AW Appel","year":"2003","unstructured":"Appel, A.W., Michael, N.G., Stump, A., Virga, R.: A trustworthy proof checker. J. Autom. Reasoning 31(3\u20134), 231\u2013260 (2003)","journal-title":"J. Autom. Reasoning"},{"issue":"2","key":"41_CR2","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. Sec. Appl. 19(2), 115\u2013129 (2014)","journal-title":"J. Inf. Sec. Appl."},{"key":"41_CR3","series-title":"Texts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Castran, P., Huet, G., Paulin-Mohring, C.: Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer, Heidelberg (2004)"},{"issue":"1","key":"41_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MSECP.2004.1264852","volume":"2","author":"D Chaum","year":"2004","unstructured":"Chaum, D.: Secret-ballot receipts: true voter-verifiable elections. IEEE Secur. Priv. 2(1), 38\u201347 (2004)","journal-title":"IEEE Secur. Priv."},{"key":"41_CR5","unstructured":"Cochran, D., Kiniry, J.: Votail: a formally specified and verified ballot counting system for irish PR-STV elections. In: Pre-proceedings of the 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) (2010)"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12980-3_18","volume-title":"Towards Trustworthy Elections: New Directions in Electronic Voting","author":"S Delaune","year":"2010","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Verifying privacy-type properties of electronic voting protocols: a taster. In: Chaum, D., Jakobsson, M., Rivest, R.L., Ryan, P.Y.A., Benaloh, J., Kutylowski, M., Adida, B. (eds.) Towards Trustworthy Elections. LNCS, vol. 6000, pp. 289\u2013309. Springer, Heidelberg (2010)"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-32747-6_4","volume-title":"E-Voting and Identity","author":"H DeYoung","year":"2012","unstructured":"DeYoung, H., Sch\u00fcrmann, C.: Linear logical voting protocols. In: Kiayias, A., Lipmaa, H. (eds.) VoteID 2011. LNCS, vol. 7187, pp. 53\u201370. Springer, Heidelberg (2012)"},{"key":"41_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J Girard","year":"1987","unstructured":"Girard, J.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"41_CR9","unstructured":"Software Improvements. Electronic and voting and counting sytems. \n                    http:\/\/www.softimp.com.au\/evacs\/index.html\n                    \n                   (2015). Accessed 12 May 2015"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-39185-1_12","volume-title":"Types for Proofs and Programs","author":"P Letouzey","year":"2003","unstructured":"Letouzey, P.: A new extraction for Coq. In: Geuvers, H., Wiedijk, F. (eds.) TYPES 2002. LNCS, vol. 2646, pp. 200\u2013219. Springer, Heidelberg (2003)"},{"key":"41_CR11","unstructured":"Marlow, S., Peyton Jones, S.: The glasgow haskell compiler. In: The Architecture of Open Source Applications, vol. 2. Lulu (2012)"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Lee, P., Henglein, F., Jones, N.D. (eds.) Proceedings of the POPL 1997, pp. 106\u2013119. ACM Press (1997)","DOI":"10.1145\/263699.263712"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrmann, C.: Electronic elections: trust through engineering. In: Proceedings of the RE-VOTE 2009, pp. 38\u201346. IEEE Computer Society (2009)","DOI":"10.1109\/RE-VOTE.2009.4"}],"container-title":["Lecture Notes in Computer Science","AI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26350-2_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:42:25Z","timestamp":1559320945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26350-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319263496","9783319263502"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26350-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}