Verifying privacy-type properties of electronic voting protocols: a taster

DOI10.1007/978-3-642-12980-3_18MaRDI QIDQ3569110zbMATH OpenOpenAlexFDO

Authors Stéphanie Delaune, Steve Kremer, M. D. Ryan

Publication date 17 June 2010

Published in Towards Trustworthy Elections (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12980-3_18

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Programming Languages and Systems
• Electronic Voting: How Logic Can Help
• When are three voters enough for privacy properties?
• Static validation of a voting protocol
• One vote is enough for analysing privacy

Cited in

(19)

• Formalizing and proving privacy properties of voting protocols using alpha-beta privacy
• Decidability of equivalence of symbolic derivations
• Trace equivalence and epistemic logic to express security properties
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Computing knowledge in security protocols under convergent equational theories
• YAPA: A Generic Tool for Computing Intruder Knowledge
• On Communication Models When Verifying Equivalence Properties
• One vote is enough for analysing privacy
• Efficiently deciding equivalence for standard primitives and phases
• To know or not to know: Epistemic approaches to security protocol verification
• Programming Languages and Systems
• When are three voters enough for privacy properties?
• Modular verification of protocol equivalence in the presence of randomness
• POR for security protocol equivalences. Beyond action-determinism
• On compositional reasoning about anonymity and privacy in epistemic logic
• Static validation of a voting protocol
• Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
• Deciding knowledge in security protocols under some e-voting theories
• Relations between privacy, verifiability, accountability and coercion-resistance in voting protocols

This page was built for publication: Verifying privacy-type properties of electronic voting protocols: a taster

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569110)