{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:16:00Z","timestamp":1773717360345,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Luxembourg National Research Fund","award":["C22\/IS\/17238244\/AVVA"],"award-info":[{"award-number":["C22\/IS\/17238244\/AVVA"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1145\/3634737.3657009","type":"proceedings-article","created":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T11:51:38Z","timestamp":1719575498000},"page":"728-741","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification and Solutions for Estonian E-Voting"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3971-9683","authenticated-orcid":false,"given":"Sevdenur","family":"Baloglu","sequence":"first","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0409-5735","authenticated-orcid":false,"given":"Sergiu","family":"Bursuc","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2818-4433","authenticated-orcid":false,"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4521-4112","authenticated-orcid":false,"given":"Jun","family":"Pang","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"a1 [n. d.]. Additional material: code files for the specifications. https:\/\/github.com\/sbaloglu\/eev-codes"},{"key":"e_1_3_2_2_2_1","unstructured":"a2 [n. d.]. Statistics about internet voting in Estonia. https:\/\/www.valimised.ee\/en\/archive\/statistics-about-internet-voting-estonia"},{"key":"e_1_3_2_2_3_1","unstructured":"a3 [n. d.]. Estonian online voting system. https:\/\/github.com\/valimised\/ivxv https:\/\/github.com\/valimised\/ivxv."},{"key":"e_1_3_2_2_4_1","unstructured":"a4 [n. d.]. Helios - Verifiable Online Elections. https:\/\/heliosvoting.org\/ https:\/\/heliosvoting.org\/."},{"key":"e_1_3_2_2_5_1","unstructured":"a5 [n. d.]. Belenios - Verifiable Online Voting System. https:\/\/belenios.org\/ https:\/\/belenios.org\/."},{"key":"e_1_3_2_2_6_1","unstructured":"a6 [n. d.]. SwissPost e-voting system. https:\/\/gitlab.com\/swisspost-evoting https:\/\/gitlab.com\/swisspost-evoting."},{"key":"e_1_3_2_2_7_1","unstructured":"a7 [n. d.]. Tamarin Prover. https:\/\/tamarin-prover.github.io"},{"key":"e_1_3_2_2_8_1","unstructured":"a8 [n. d.]. ProVerif: Cryptographic protocol verifier in the formal model. https:\/\/bblanche.gitlabpages.inria.fr\/proverif\/"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-191366"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00019"},{"key":"e_1_3_2_2_11_1","volume-title":"Provably Improving Election Verifiability in Belenios","author":"Baloglu Sevdenur","unstructured":"Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, and Jun Pang. 2021. Provably Improving Election Verifiability in Belenios. In Electronic Voting, Robert Krimmer, Melanie Volkamer, David Duenas-Cid, Oksana Kulyk, Peter R\u00f8nne, Mihkel Solvak, and Micha Germann (Eds.). Springer International Publishing, Cham, 1--16."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00005"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559343"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.37"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.JLAP.2007.06.002"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833653"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978337"},{"key":"e_1_3_2_2_19_1","volume-title":"31st USENIX Security Symposium, USENIX Security 2022","author":"Cheval Vincent","year":"2022","unstructured":"Vincent Cheval, Charlie Jacomme, Steve Kremer, and Robert K\u00fcnnemann. 2022. SAPIC+: protocol verifiers of the world, unite!. In 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, Kevin R. B. Butler and Kurt Thomas (Eds.). USENIX Association, 3935--3952. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/cheval"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00033"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62077-6_10"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.32"},{"key":"e_1_3_2_2_23_1","volume-title":"CIAA 2017, Marne-la-Vall\u00e9e, France, June 27-30, 2017, Proceedings (Lecture Notes in Computer Science","volume":"1","author":"Cortier V\u00e9ronique","year":"2017","unstructured":"V\u00e9ronique Cortier. 2017. Electronic Voting: How Logic Can Help. In Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vall\u00e9e, France, June 27-30, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10329), Arnaud Carayol and Cyril Nicaud (Eds.). Springer, xi--xii. https:\/\/link.springer.com\/content\/pdf\/bfm%3A978-3-319-60134-2%2F1.pdf"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00029"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.28"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00032"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19052-1_14"},{"key":"e_1_3_2_2_28_1","volume-title":"Cryptology and Information Security Series","volume":"5","author":"Cortier V\u00e9ronique","year":"2011","unstructured":"V\u00e9ronique Cortier and Steve Kremer (Eds.). 2011. Formal Models and Techniques for Analyzing Security Protocols. Cryptology and Information Security Series, Vol. 5. IOS Press. http:\/\/www.iospress.nl\/loadtop\/load.php?isbn=9781607507130"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243762"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF49147.2020.00010"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.27"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00001"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0340"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17140-6_9"},{"key":"e_1_3_2_2_35_1","volume-title":"Proceedings of the E-Vote-ID","author":"Heiberg Sven","year":"2020","unstructured":"Sven Heiberg, Kristjan Krips, and Jan Willemson. 2020. Planning the next steps for Estonian Internet voting. Proceedings of the E-Vote-ID (2020), 82."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32747-6_13"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52240-1_6"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/EVOTE.2014.7001135"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00016"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102199.1102213"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15497-3_24"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.21"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"e_1_3_2_2_44_1","volume-title":"35th IEEE Computer Security Foundations Symposium, CSF.","author":"Mestel David","year":"2022","unstructured":"David Mestel, Johannes Mueller, and Pascal Reisert. 2022. How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. In 35th IEEE Computer Security Foundations Symposium, CSF."},{"key":"e_1_3_2_2_45_1","volume-title":"Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. In 7th Workshop on Advances in Secure Electronic Voting, FC22","author":"M\u00fcller Johannes","year":"2022","unstructured":"Johannes M\u00fcller. 2022. Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. In 7th Workshop on Advances in Secure Electronic Voting, FC22. https:\/\/orbilu.uni.lu\/handle\/10993\/49442"},{"key":"e_1_3_2_2_46_1","volume-title":"Individual Verifiability and Revoting in the Estonian Internet Voting System. In 7th Workshop on Advances in Secure Electronic Voting, FC22","author":"Pereira Olivier","year":"2022","unstructured":"Olivier Pereira. 2022. Individual Verifiability and Revoting in the Estonian Internet Voting System. In 7th Workshop on Advances in Secure Electronic Voting, FC22. https:\/\/eprint.iacr.org\/2021\/1098"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53357-4_12"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","unstructured":"Stefan Santesson Michael Myers Rich Ankney Ambarish Malpani Slava Galperin and Dr. Carlisle Adams. 2013. X.509 Internet Public Key Infrastructure Online Certificate Status Protocol - OCSP. RFC 6960. 10.17487\/RFC6960","DOI":"10.17487\/RFC6960"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.25"},{"key":"e_1_3_2_2_50_1","volume-title":"Proceedings of the 21st ACM Conference on Computer and Communications Security. ACM.","author":"Springall Drew","unstructured":"Drew Springall, Travis Finkenauer, Zakir Durumeric, Jason Kitcat, Harri Hursti, Margaret MacAlpine, and J. Alex Halderman. 2014. Security Analysis of the Estonian Internet Voting System. In Proceedings of the 21st ACM Conference on Computer and Communications Security. ACM."},{"key":"e_1_3_2_2_51_1","volume-title":"Workshop on Advances in Secure Electronic Voting.","author":"Sutopo Anggrio","year":"2023","unstructured":"Anggrio Sutopo, Thomas Haines, and Peter Roenne. 2023. On the Auditability of the Estonian IVXV System and an Attack on Individual Verifiability. In Workshop on Advances in Secure Electronic Voting."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3488932.3527280"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","unstructured":"Robert Zuccherato Patrick Cain Dr. Carlisle Adams and Denis Pinkas. 2001. Internet X.509 Public Key Infrastructure Time-Stamp Protocol (TSP). RFC 3161. 10.17487\/RFC3161","DOI":"10.17487\/RFC3161"}],"event":{"name":"ASIA CCS '24: 19th ACM Asia Conference on Computer and Communications Security","location":"Singapore Singapore","acronym":"ASIA CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 19th ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634737.3657009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:07Z","timestamp":1750290247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634737.3657009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":53,"alternative-id":["10.1145\/3634737.3657009","10.1145\/3634737"],"URL":"https:\/\/doi.org\/10.1145\/3634737.3657009","relation":{},"subject":[],"published":{"date-parts":[[2024,7]]},"assertion":[{"value":"2024-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}