{"id":"https://openalex.org/W2111259676","doi":"https://doi.org/10.1109/revote.2011.6045911","title":"A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems","display_name":"A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems","publication_year":2011,"publication_date":"2011-08-01","ids":{"openalex":"https://openalex.org/W2111259676","doi":"https://doi.org/10.1109/revote.2011.6045911","mag":"2111259676"},"language":"en","primary_location":{"id":"doi:10.1109/revote.2011.6045911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/revote.2011.6045911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 International Workshop on Requirements Engineering for Electronic Voting Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084615644","display_name":"Simon Kramer","orcid":"https://orcid.org/0000-0003-3665-7568"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Simon Kramer","raw_affiliation_strings":["University of Luxembourg, Luxembourg","University of, Luxembourg#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of, Luxembourg#TAB#","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006427033","display_name":"Peter Y. A. Ryan","orcid":"https://orcid.org/0000-0002-1677-9034"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Peter Y. A. Ryan","raw_affiliation_strings":["University of Luxembourg, Luxembourg","University of, Luxembourg#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of, Luxembourg#TAB#","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084615644"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":5.7964,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.95862993,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.8209858536720276},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8074601888656616},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.605637788772583},{"id":"https://openalex.org/keywords/voting","display_name":"Voting","score":0.5684158205986023},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5519168972969055},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5406107902526855},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5358195900917053},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5248836874961853},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5149887204170227},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5055747032165527},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5041331052780151},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49845004081726074}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8209858536720276},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8074601888656616},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.605637788772583},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.5684158205986023},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5519168972969055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5406107902526855},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5358195900917053},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5248836874961853},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5149887204170227},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5055747032165527},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5041331052780151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49845004081726074},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/revote.2011.6045911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/revote.2011.6045911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 International Workshop on Requirements Engineering for Electronic Voting Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/25976","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/25976","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (pp. 9 - 21). IEEE (2011).","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W2565404","https://openalex.org/W634465965","https://openalex.org/W657386393","https://openalex.org/W1490590996","https://openalex.org/W1506588809","https://openalex.org/W1548880861","https://openalex.org/W1570235795","https://openalex.org/W1582292473","https://openalex.org/W1584825904","https://openalex.org/W1601536052","https://openalex.org/W1621111468","https://openalex.org/W1759871617","https://openalex.org/W1972507301","https://openalex.org/W2028234853","https://openalex.org/W2093916942","https://openalex.org/W2095423793","https://openalex.org/W2107171883","https://openalex.org/W2146819619","https://openalex.org/W2164467160","https://openalex.org/W2482001427","https://openalex.org/W3030109318","https://openalex.org/W3140030144","https://openalex.org/W4239400817","https://openalex.org/W6635111695","https://openalex.org/W6636060215","https://openalex.org/W6676108856","https://openalex.org/W6684219151","https://openalex.org/W6721981965"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W2204176978","https://openalex.org/W2044067585","https://openalex.org/W2156223462","https://openalex.org/W2230261480","https://openalex.org/W2015061688","https://openalex.org/W4252905370"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,13,36,42,75,88,92,125,148,156],"modular":[3,61,109],"multi-modal":[4,63],"specification":[5,17,32,55,69,123,137],"of":[6,18,45,53,59,78,82,87,91,104,114,121,133,143,151,175,180,203,216],"real-timed,":[7],"end-to-end":[8],"voter-verifiable":[9],"voting":[10,20,145,181,188,218],"systems,":[11,146],"i.e.,":[12,199,210],"formal":[14,89,157],"but":[15,38,161],"intuitive":[16],"real-timed":[19],"systems":[21,189],"that":[22,67],"are":[23,196],"accountable":[24],"(and":[25],"thus":[26,119],"trustworthy)":[27],"to":[28,97,124],"their":[29],"users.":[30],"Our":[31,192],"is":[33,56],"expressed":[34],"as":[35,74],"single":[37],"well-compounded":[39],"formula":[40],"in":[41,101,155,184],"logical":[43,76],"language":[44],"temporal,":[46],"epistemic,":[47],"and":[48,62,118,129,207,213],"provability":[49],"modalities.":[50,107],"The":[51,108,136],"intuitiveness":[52],"the":[54,57,68,85,102,115,122,131,140,172,200,204,211,217,222],"fruit":[58],"its":[60,166],"form.":[64],"This":[65],"means":[66],"can":[70],"be":[71],"appreciated":[72],"compound-wise,":[73],"conjunction":[77,174],"separate":[79],"sub-requirements,":[80],"each":[81],"which":[83],"achieving":[84],"ideal":[86,187],"transcription":[90],"suitable":[93],"natural-language":[94],"formulation,":[95],"thanks":[96],"powerful":[98],"descriptive":[99],"idioms":[100],"form":[103,110],"our":[105,112],"multiple":[106],"reduces":[111],"proof":[113,126],"satisfiability":[116],"(consistency)":[117],"implementability":[120,167],"by":[127,165,221],"inspection,":[128],"induces":[130],"parallelisability":[132],"implementation-correctness":[134],"verifications.":[135],"also":[138],"pinpoints":[139],"implementation-specific":[141],"part":[142],"particular":[144],"reuses":[147],"generic":[149],"definition":[150],"accountability":[152],"inducing":[153],"trust":[154],"sense,":[158,186],"and,":[159],"last":[160],"not":[162],"least,":[163],"counter-balances":[164],"some":[168,185],"previous":[169],"results":[170],"about":[171],"contradictory":[173],"certain":[176],"desirable":[177],"property":[178],"pairs":[179],"systems.":[182],"So":[183],"do":[190],"exist.":[191],"specific":[193],"formalisation":[194],"principles":[195],"agent":[197],"correctness,":[198],"behavioural":[201],"correctness":[202],"voting-system-constituting":[205],"agents,":[206],"data":[208,219],"adequacy,":[209],"soundness":[212],"(relative)":[214],"completeness":[215],"processed":[220],"system.":[223]},"counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}