{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:45:35Z","timestamp":1748583935909,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662639573"},{"type":"electronic","value":"9783662639580"}],"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-662-63958-0_22","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:04:04Z","timestamp":1631801044000},"page":"251-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Cast-as-Intended: A Formal Definition and Case Studies"],"prefix":"10.1007","author":[{"given":"Peter B.","family":"R\u00f8nne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Smyth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"22_CR1","unstructured":"Adida, B., Andrew Neff, C.: Ballot casting assurance. In: EVT 2006: Electronic Voting Technology Workshop. USENIX Association (2006)"},{"key":"22_CR2","unstructured":"Alsadi, M., Schneider, S.: Verify my vote: voter experience. In: E-Vote-ID 2020, p. 280 (2020)"},{"key":"22_CR3","unstructured":"Benaloh, J.: Simple verifiable elections. In: EVT 2006: Electronic Voting Technology Workshop. USENIX Association (2006)"},{"key":"22_CR4","unstructured":"Benaloh, J.: Ballot casting assurance via voter-initiated poll station auditing. In: EVT 2007: Electronic Voting Technology Workshop. USENIX Association (2007)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bernhard, D., Cortier, V., Galindo, D., Pereira, O., Warinschi, B.: SoK: a comprehensive analysis of game-based ballot privacy definitions. In: S&P 2015: 36th Security and Privacy Symposium, pp. 499\u2013516. IEEE Computer Society (2015)","DOI":"10.1109\/SP.2015.37"},{"issue":"3","key":"22_CR6","doi-asserted-by":"publisher","first-page":"367","DOI":"10.3233\/JCS-171013","volume":"26","author":"B Blanchet","year":"2018","unstructured":"Blanchet, B., Smyth, B.: Automated reasoning for equivalences in the applied pi calculus with barriers. J. Comput. Secur. 26(3), 367\u2013422 (2018)","journal-title":"J. Comput. Secur."},{"key":"22_CR7","unstructured":"Chaum, D.: Secret-ballot receipts and transparent integrity. Better and less-costly electronic voting at polling places. IEEE S&P 4 (2004)"},{"issue":"1","key":"22_CR8","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. Privacy 2(1), 38\u201347 (2004)","journal-title":"IEEE Secur. Privacy"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11555827_8","volume-title":"Computer Security \u2013 ESORICS 2005","author":"D Chaum","year":"2005","unstructured":"Chaum, D., Ryan, P.Y.A., Schneider, S.: A practical voter-verifiable election scheme. In: di Vimercati, S.C., Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 118\u2013139. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11555827_8"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Cortier, V., Galindo, D., K\u00fcsters, R., Mueller, J., Truderung, T.: SoK: verifiability notions for e-voting protocols. In: S&P 2016: 37th IEEE Symposium on Security and Privacy, pp. 779\u2013798. IEEE Computer Society (2016)","DOI":"10.1109\/SP.2016.52"},{"key":"22_CR11","unstructured":"Cremers, C., Hirschi, L.: Improving automated symbolic analysis for e-voting protocols: a method based on sufficient conditions for ballot secrecy. arXiv, Report 1709.00194, September 2017"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-47413-7_14","volume-title":"Decision and Game Theory for Security","author":"C Culnane","year":"2016","unstructured":"Culnane, C., Teague, V.: Strategies for voter-initiated election audits. In: Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M., Casey, W. (eds.) GameSec 2016. LNCS, vol. 9996, pp. 235\u2013247. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47413-7_14"},{"issue":"4","key":"22_CR13","doi-asserted-by":"publisher","first-page":"435","DOI":"10.3233\/JCS-2009-0340","volume":"17","author":"S Delaune","year":"2009","unstructured":"Delaune, S., Kremer, S., Ryan, M.D.: Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. 17(4), 435\u2013487 (2009)","journal-title":"J. Comput. Secur."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Distler, V., Zollinger, M.-L., Lallemand, C., R\u00f8nne, P.B., Ryan, P.Y.A., Koenig, V.: Security - visible, yet unseen? In: Brewster, S.A., Fitzpatrick, G., Cox, A.L., Kostakos, V., (eds.) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, 04\u201309 May 2019, p. 605. ACM (2019)","DOI":"10.1145\/3290605.3300835"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-030-31919-9_11","volume-title":"Provable Security","author":"A Fraser","year":"2019","unstructured":"Fraser, A., Quaglia, E.A., Smyth, B.: A critique of game-based definitions of receipt-freeness for voting. In: Steinfeld, R., Yuen, T.H. (eds.) ProvSec 2019. LNCS, vol. 11821, pp. 189\u2013205. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31919-9_11"},{"key":"22_CR16","unstructured":"Haines, T., Smyth, B.: Surveying definitions of coercion resistance. Cryptology ePrint Archive, Report 2019\/822 (2020)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-319-70278-0_24","volume-title":"Financial Cryptography and Data Security","author":"V Iovino","year":"2017","unstructured":"Iovino, V., Rial, A., R\u00f8nne, P.B., Ryan, P.Y.A.: Using selene to verify your vote in JCJ. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 385\u2013403. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_24"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Iovino, V., Rial, A., R\u00f8nne, P.B., Ryan, P.Y.A.: Universal unconditional verifiability in e-voting without trusted parties. In: 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, 22\u201326 June 2020, pp. 33\u201348. IEEE (2020)","DOI":"10.1109\/CSF49147.2020.00011"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-00419-4_7","volume-title":"Electronic Voting","author":"W Jamroga","year":"2018","unstructured":"Jamroga, W., Knapik, M., Kurpiewski, D.: Model checking the SELENE e-voting protocol in multi-agent logics. In: Krimmer, R., et al. (eds.) E-Vote-ID 2018. LNCS, vol. 11143, pp. 100\u2013116. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00419-4_7"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-12980-3_2","volume-title":"Towards Trustworthy Elections","author":"A Juels","year":"2010","unstructured":"Juels, A., Catalano, D., Jakobsson, M.: Coercion-resistant electronic elections. In: Chaum, D., et al. (eds.) Towards Trustworthy Elections. LNCS, vol. 6000, pp. 37\u201363. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12980-3_2"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-662-46803-6_16","volume-title":"Advances in Cryptology - EUROCRYPT 2015","author":"A Kiayias","year":"2015","unstructured":"Kiayias, A., Zacharias, T., Zhang, B.: End-to-end verifiable elections in the standard model. In: Oswald, E., Fischlin, M. (eds.) EUROCRYPT 2015. LNCS, vol. 9057, pp. 468\u2013498. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46803-6_16"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-15497-3_24","volume-title":"Computer Security \u2013 ESORICS 2010","author":"S Kremer","year":"2010","unstructured":"Kremer, S., Ryan, M., Smyth, B.: Election verifiability in electronic voting protocols. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 389\u2013404. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15497-3_24"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., M\u00fcller, J., Scapin, E., Truderung, T.: sElect: a lightweight verifiable remote voting system. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), pp. 341\u2013354. IEEE (2016)","DOI":"10.1109\/CSF.2016.31"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Accountability: definition and relationship to verifiability. In: CCS 2010: 17th ACM Conference on Computer and Communications Security, pp. 526\u2013535. ACM Press (2010)","DOI":"10.1145\/1866307.1866366"},{"issue":"6","key":"22_CR25","doi-asserted-by":"publisher","first-page":"709","DOI":"10.3233\/JCS-2012-0444","volume":"20","author":"R K\u00fcsters","year":"2012","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: A game-based definition of coercion-resistance and its applications. J. Comput. Secur. 20(6), 709\u2013764 (2012)","journal-title":"J. Comput. Secur."},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/11818175_22","volume-title":"Advances in Cryptology - CRYPTO 2006","author":"T Moran","year":"2006","unstructured":"Moran, T., Naor, M.: Receipt-free universally-verifiable voting with everlasting privacy. In: Dwork, C. (ed.) CRYPTO 2006. LNCS, vol. 4117, pp. 373\u2013392. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11818175_22"},{"key":"22_CR27","unstructured":"Andrew Neff, C.: Practical high certainty intent verification for encrypted votes. Unpublished manuscript (2004)"},{"key":"22_CR28","unstructured":"Andrew Neff, C.: Practical high certainty intent verification for encrypted votes (2004)"},{"issue":"5","key":"22_CR29","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MSP.2006.140","volume":"4","author":"B Randell","year":"2006","unstructured":"Randell, B., Ryan, P.Y.A.: Voting technologies and trust. IEEE Secur. Privacy 4(5), 50\u201356 (2006)","journal-title":"IEEE Secur. Privacy"},{"key":"22_CR30","unstructured":"Rivest, R.L.: The threeballot voting system (2006)"},{"key":"22_CR31","unstructured":"R\u00f8nne, P.B., Ryan, P.Y.A., Zollinger, M.-L.: Electryo, in-person voting with transparent voter verifiability and eligibility verifiability. In: E-Vote-ID 2018, p. 147 (2018)"},{"key":"22_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-662-53357-4_12","volume-title":"Financial Cryptography and Data Security","author":"PYA Ryan","year":"2016","unstructured":"Ryan, P.Y.A., R\u00f8nne, P.B., Iovino, V.: Selene: voting with transparent verifiability and coercion-mitigation. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 176\u2013192. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53357-4_12"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Sallal, M., et al.: Augmenting an internet voting system with selene verifiability using permissioned distributed ledger. In: 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, Singapore, 29 November\u20131 December 2020, pp. 1167\u20131168. IEEE (2020)","DOI":"10.1109\/ICDCS47774.2020.00124"},{"key":"22_CR34","unstructured":"Smyth, B.: Ballot secrecy: security definition, sufficient conditions, and analysis of Helios. Cryptology ePrint Archive, Report 2015\/942 (2018)"},{"key":"22_CR35","unstructured":"Smyth, B.: Mind the gap: individual- and universal-verifiability plus cast-as-intended don\u2019t yield verifiable voting systems. Technical Report 2020\/1054, Cryptology ePrint Archive (2020)"},{"key":"22_CR36","doi-asserted-by":"publisher","first-page":"106000","DOI":"10.1016\/j.ipl.2020.106000","volume":"163","author":"B Smyth","year":"2020","unstructured":"Smyth, B.: Surveying global verifiability. Inf. Process. Lett. 163, 106000 (2020)","journal-title":"Inf. Process. Lett."},{"key":"22_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-642-40203-6_26","volume-title":"Computer Security \u2013 ESORICS 2013","author":"B Smyth","year":"2013","unstructured":"Smyth, B., Bernhard, D.: Ballot secrecy and ballot independence coincide. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol. 8134, pp. 463\u2013480. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40203-6_26"},{"key":"22_CR38","unstructured":"Smyth, B., Frink, S., Clarkson, M.R.: Election verifiability: cryptographic definitions and an analysis of Helios and JCJ. Cryptology ePrint Archive, Report 2015\/233 (2017)"},{"key":"22_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-16074-5_11","volume-title":"Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security","author":"B Smyth","year":"2010","unstructured":"Smyth, B., Ryan, M., Kremer, S., Kourjieh, M.: Towards automatic analysis of election verifiability properties. In: Armando, A., Lowe, G. (eds.) ARSPA-WITS 2010. LNCS, vol. 6186, pp. 146\u2013163. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16074-5_11"},{"key":"22_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-642-14623-7_22","volume-title":"Advances in Cryptology \u2013 CRYPTO 2010","author":"D Unruh","year":"2010","unstructured":"Unruh, D., M\u00fcller-Quade, J.: Universally composable incoercibility. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 411\u2013428. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14623-7_22"},{"key":"22_CR41","unstructured":"Zollinger, M.-L., Distler, V., Roenne, P., Ryan, P., Lallemand, C., Vincent, K.: How mental models align with security mechanisms, user experience design for e-voting (2019)"},{"key":"22_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-030-54455-3_22","volume-title":"Financial Cryptography and Data Security","author":"M-L Zollinger","year":"2020","unstructured":"Zollinger, M.-L., R\u00f8nne, P.B., Ryan, P.Y.A.: Short paper: mechanized proofs of verifiability and privacy in a paper-based e-voting scheme. In: Bernhard, M., et al. (eds.) FC 2020. LNCS, vol. 12063, pp. 310\u2013318. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54455-3_22"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2021 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63958-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:09:59Z","timestamp":1631801399000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-63958-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662639573","9783662639580"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63958-0_22","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":"17 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc21.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}