{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T22:25:48Z","timestamp":1780352748365,"version":"3.54.1"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919663","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"335-347","source":"Crossref","is-referenced-by-count":6,"title":["Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co"],"prefix":"10.1109","author":[{"given":"Constantin C\u0103t\u0103lin","family":"Dr\u0103gan","sequence":"first","affiliation":[{"name":"Surrey Centre for Cyber Security University of Surrey,Guildford,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Dupressoir","sequence":"additional","affiliation":[{"name":"University of Bristol,Department of Computer Science,Bristol,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ehsan","family":"Estaji","sequence":"additional","affiliation":[{"name":"University of Luxembourg,Department of Computer Science & SnT,Esch-sur-Alzette,Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristian","family":"Gj\u2298steen","sequence":"additional","affiliation":[{"name":"NTNU,Department of Mathematical Sciences,Trondheim,Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Haines","sequence":"additional","affiliation":[{"name":"School of Computing Australian National University,Canberra,Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1677-9034","authenticated-orcid":false,"given":"Peter Y.A.","family":"Ryan","sequence":"additional","affiliation":[{"name":"University of Luxembourg,Department of Computer Science & SnT,Esch-sur-Alzette,Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2785-8301","authenticated-orcid":false,"given":"Peter B.","family":"R\u2298nne","sequence":"additional","affiliation":[{"name":"LORIA, CNRS & Univ Lorraine, France University of Luxembourg,Esch-sur-Alzette,Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Morten Rotvold","family":"Solberg","sequence":"additional","affiliation":[{"name":"NTNU,Department of Mathematical Sciences,Trondheim,Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","first-page":"10","article-title":"A public key cryptosystem and a signature scheme based on discrete logarithms","volume":"196","author":"elgamal","year":"1984","journal-title":"CRYPTO'84"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CSF49147.2020.00010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54455-3_22"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354247"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00033"},{"key":"ref20","article-title":"VMV: augmenting an internet voting system with selene verifiability","volume":"abs 1912 288","author":"sallal","year":"2019","journal-title":"CoRR"},{"key":"ref11","first-page":"327","article-title":"Election verifiability for helios under weaker trust as-sumptions","volume":"8713","author":"cortier","year":"2014","journal-title":"ES-ORICS 2014 Part II"},{"key":"ref22","article-title":"Sequences of games: a tool for taming complexity in security proofs","author":"shoup","year":"2004","journal-title":"Cryptology ePrint archive report 2005"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00029"},{"key":"ref21","article-title":"A proposal for an ISO standard for public key encryption","author":"shoup","year":"2001","journal-title":"Cryptology ePrint Archive Report 2001\/112"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168596"},{"key":"ref1","first-page":"146","author":"barthe","year":"2014","journal-title":"EasyCrypt A Tutorial"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.42"},{"key":"ref19","first-page":"176","article-title":"Selene: Voting with transparent verifiability and coercion-mitigation","volume":"9604","author":"ryan","year":"2016","journal-title":"FC 2016 Workshops"},{"key":"ref18","article-title":"Electryo, in-person voting with transparent voter verifiability and eligibility verifiability","author":"peter","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref8","first-page":"110","article-title":"Towards a mechanized proof of selene receipt-freeness and vote-privacy","author":"bruni","year":"0","journal-title":"International Conference on Electronic Voting"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1007\/978-3-642-34961-4_38","article-title":"How not to prove yourself: Pitfalls of the Fiat -Shamir heuristic and applications to Helios","volume":"7658","author":"bernhard","year":"2012","journal-title":"ASIACRYPT 2012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.28"},{"key":"ref4","author":"bernhard","year":"2014","journal-title":"Zero-Knowledge Proofs in Theory and Practice"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48405-1_33"},{"key":"ref6","first-page":"335","article-title":"Adapting helios for provable ballot privacy","volume":"6879","author":"bernhard","year":"2011","journal-title":"ESORICS 2011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.37"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","location":"Haifa, Israel","start":{"date-parts":[[2022,8,7]]},"end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919663.pdf?arnumber=9919663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:14:02Z","timestamp":1699485242000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919663","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}