{"id":"https://openalex.org/W4400638538","doi":"https://doi.org/10.1007/978-3-031-72244-8_1","title":"Belenios with\u00a0Cast-as-Intended: Towards a\u00a0Usable Interface","display_name":"Belenios with\u00a0Cast-as-Intended: Towards a\u00a0Usable Interface","publication_year":2024,"publication_date":"2024-09-22","ids":{"openalex":"https://openalex.org/W4400638538","doi":"https://doi.org/10.1007/978-3-031-72244-8_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-72244-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-72244-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-72244-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-72244-8_1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070402905","display_name":"V\u00e9ronique Cortier","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"V\u00e9ronique Cortier","raw_affiliation_strings":["Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","PESTO - Proof techniques for security protocols (France)"],"affiliations":[{"raw_affiliation_string":"Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","institution_ids":["https://openalex.org/I4210121838"]},{"raw_affiliation_string":"PESTO - Proof techniques for security protocols (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049279304","display_name":"Pierrick Gaudry","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierrick Gaudry","raw_affiliation_strings":["Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms (615 rue du Jardin Botanique\r\n54600 Villers-l\u00e8s-Nancy - France)"],"affiliations":[{"raw_affiliation_string":"Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","institution_ids":["https://openalex.org/I4210121838"]},{"raw_affiliation_string":"CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms (615 rue du Jardin Botanique\r\n54600 Villers-l\u00e8s-Nancy - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104518788","display_name":"Anselme Goetschmann","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anselme Goetschmann","raw_affiliation_strings":["Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","PESTO - Proof techniques for security protocols (France)"],"affiliations":[{"raw_affiliation_string":"Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","institution_ids":["https://openalex.org/I4210121838"]},{"raw_affiliation_string":"PESTO - Proof techniques for security protocols (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012987949","display_name":"Sophie Lemonnier","orcid":"https://orcid.org/0000-0002-9650-7054"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4387154738","display_name":"Psychologie Ergonomique et Sociale pour l'Exp\u00e9rience Utilisateurs","ror":"https://ror.org/018d4rr63","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387154738","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sophie Lemonnier","raw_affiliation_strings":["Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","Universit\u00e9 de Lorraine, PErSEUs, 57000, Metz, France","LARSEN - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (France)","PErSEUs - Psychologie Ergonomique et Sociale pour l'Exp\u00e9rience utilisateurs (Universit\u00e9 de Lorraine, UFR SHS, Ile du Saulcy, BP 30309, 57006 Metz Cedex - France)","UL - Universit\u00e9 de Lorraine (34 cours L\u00e9opold - CS 25233 - 54052 Nancy cedex - France)"],"affiliations":[{"raw_affiliation_string":"Loria \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 de Lorraine, PErSEUs, 57000, Metz, France","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I4387154738"]},{"raw_affiliation_string":"LARSEN - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (France)","institution_ids":[]},{"raw_affiliation_string":"PErSEUs - Psychologie Ergonomique et Sociale pour l'Exp\u00e9rience utilisateurs (Universit\u00e9 de Lorraine, UFR SHS, Ile du Saulcy, BP 30309, 57006 Metz Cedex - France)","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I4387154738"]},{"raw_affiliation_string":"UL - Universit\u00e9 de Lorraine (34 cours L\u00e9opold - CS 25233 - 54052 Nancy cedex - France)","institution_ids":["https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070402905"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210121838"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2970297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12607","display_name":"Personal Information Management and User Behavior","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9700999855995178,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.8809881210327148},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.751274824142456},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.44744873046875},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4112457036972046},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2041022777557373},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06718260049819946}],"concepts":[{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.8809881210327148},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.751274824142456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44744873046875},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4112457036972046},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2041022777557373},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06718260049819946},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-72244-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-72244-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-72244-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04646244v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04646244","pdf_url":"https://inria.hal.science/hal-04646244v1/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EVote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Terragona, Spain","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-72244-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-72244-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-72244-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1718986858","display_name":null,"funder_award_id":"ANR-22-PECY-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4041451713","display_name":null,"funder_award_id":"ANR-22-PECY-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6612625481","display_name":null,"funder_award_id":"France 2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6942623395","display_name":"Tools for automated, symbolic analysis of real-world cryptographic protocols","funder_award_id":"ANR-20-CHIA-0024","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G975799825","display_name":null,"funder_award_id":"France 2030 prog","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400638538.pdf"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W591743112","https://openalex.org/W2032191478","https://openalex.org/W2146671484","https://openalex.org/W2509958927","https://openalex.org/W2580877865","https://openalex.org/W2589685939","https://openalex.org/W2795726069","https://openalex.org/W2923170571","https://openalex.org/W4386914696","https://openalex.org/W4389304914","https://openalex.org/W4402288713"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2982321410","https://openalex.org/W2392004567","https://openalex.org/W2046296964","https://openalex.org/W2940029036","https://openalex.org/W4388292429","https://openalex.org/W2756595502","https://openalex.org/W2619420568","https://openalex.org/W2002936267"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"work":[3],"we":[4,94],"consider":[5],"Belenios-CaI,":[6],"a":[7,10,17,65,71],"protocol":[8],"offering":[9],"cast-as-intended":[11,85],"mechanism":[12,86],"and":[13,109,139],"building":[14],"upon":[15],"Belenios,":[16],"voting":[18],"system":[19],"used":[20],"in":[21,70],"about":[22],"7000":[23],"elections":[24],"to":[25,46,74,106],"date.":[26],"We":[27,63],"modify":[28],"the":[29,34,52,76,84,98,129,133],"design":[30],"of":[31,78,81,132],"Belenios-Cai":[32],"from":[33],"user":[35],"perspective":[36],"without":[37],"changing":[38],"its":[39,48],"core":[40],"cryptographic":[41],"mechanism.":[42],"The":[43,116],"goal":[44],"is":[45,124],"increase":[47],"usability":[49,77],"by":[50,101],"letting":[51],"voter":[53],"simply":[54],"check":[55],"whether":[56,97,110],"two":[57],"symbols":[58],"are":[59,103],"equal":[60],"or":[61],"different.":[62],"conducted":[64],"user-study":[66],"among":[67],"165":[68],"participants":[69],"research":[72],"center":[73],"evaluate":[75,96],"our":[79,121],"implementation":[80],"Belenios-CaI.":[82],"Since":[83],"assumes":[87],"that":[88],"voters":[89,102,134],"make":[90],"some":[91],"random":[92,130],"choices,":[93],"also":[95],"choices":[99,131],"made":[100],"sufficiently":[104],"\u201crandom\u201d":[105],"provide":[107],"verifiability":[108,138],"it":[111],"could":[112],"affect":[113],"their":[114],"privacy.":[115,140],"study":[117],"shows":[118],"that,":[119],"for":[120,137],"population,":[122],"Belenios-CaI":[123],"considered":[125],"as":[126],"usable":[127],"with":[128],"seeming":[135],"sufficient":[136]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}