{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T05:21:32Z","timestamp":1787894492516,"version":"build-2784847793"},"reference-count":55,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1109\/csf68417.2026.00003","type":"proceedings-article","created":{"date-parts":[[2026,8,27]],"date-time":"2026-08-27T19:08:05Z","timestamp":1787857685000},"page":"33-48","source":"Crossref","is-referenced-by-count":0,"title":["Are ideal functionalities really ideal?"],"prefix":"10.1109","author":[{"given":"Myrto","family":"Arapinis","sequence":"first","affiliation":[{"name":"The University of Edinburgh"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V\u00e9ronique","family":"Cortier","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine","place":["LORIA"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hubert de","family":"Groote","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charlie","family":"Jacomme","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine","place":["LORIA"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Kremer","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine","place":["LORIA"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Federal Chancellery Ordinance on Electronic Voting (OEV)","author":"Chancellery","year":"2022"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2001.959888"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-016-0355-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15979-4_1"},{"key":"ref5","first-page":"778","article-title":"A composable security treatment of the lightning network","author":"Kiayias","year":"2019","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68379-4_5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49387-8_10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48800-3_11"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-024-09493-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_43"},{"key":"ref12","article-title":"New techniques for electronic voting","author":"Szepieniec","year":"2015","journal-title":"USENIX Journal of Election Technology and Systems (JETS)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSF49147.2020.00030"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17653-2_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44381-1_21"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-14791-3_22"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-016-9245-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055718"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-013-9167-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.37"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00078"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310743"},{"key":"ref23","article-title":"A unified framework for analyzing security of protocols","volume":"TR01-016","year":"2001","journal-title":"Electron. Colloquium Comput. Complex."},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46035-7_22"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_16"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30144-8_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/0217017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_33"},{"key":"ref29","first-page":"169","article-title":"Simulation based security in the applied pi calculus","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS 2009), ser. LIPIcs","volume":"4","author":"Delaune"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.24"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833653"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-009-9055-0"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00019"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-12290-2_22"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2001.959888"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15979-4_14"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64381-2_1"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2004-123-409"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00078"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.1005"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22792-9_5"},{"key":"ref45","article-title":"Squirrel models","author":"Arapinis","year":"2025"},{"key":"ref46","article-title":"Verifiable secret-ballot elections","author":"Benaloh","year":"1987"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/10590.10595"},{"key":"ref48","article-title":"Are ideal functionalities really ideal?","author":"Arapinis","year":"2025","journal-title":"Cryptology ePrint Archive"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12168"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-021-09382-3"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36108-1_2"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-14791-3_22"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.12"},{"key":"ref54","first-page":"153","article-title":"Constructing secure multi-party computation with identifiable abort","author":"Brandt","year":"2020","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721656"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96881-0_17"}],"event":{"name":"2026 IEEE 39th Computer Security Foundations Symposium (CSF)","location":"Lisboa, Portugal","start":{"date-parts":[[2026,7,26]]},"end":{"date-parts":[[2026,7,29]]}},"container-title":["2026 IEEE 39th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11662133\/11662295\/11662322.pdf?arnumber=11662322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T05:00:39Z","timestamp":1787893239000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11662322\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/csf68417.2026.00003","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]}}}