Electronic Voting: How Logic Can Help

DOI10.1007/978-3-319-08587-6_2MaRDI QIDQ3192178zbMATH OpenOpenAlexFDO

Authors Véronique Cortier

Publication date 26 September 2014

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08587-6_2

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• Electronic voting
• Information Security
• scientific article; zbMATH DE number 2242705
• scientific article; zbMATH DE number 2088327
• Towards trustworthy elections. New directions in electronic voting

Cited in

(11)

• The computer ate my vote
• Algebraic Methodology and Software Technology
• One vote is enough for analysing privacy
• Verifying privacy-type properties of electronic voting protocols: a taster
• Programming Languages and Systems
• On the security properties of e-voting bulletin boards
• Electronic voting
• Verification of multi-agent properties in electronic voting: a case study
• Schulze voting as evidence carrying computation
• Formal analysis and offline monitoring of electronic exams
• Static validation of a voting protocol

This page was built for publication: Electronic Voting: How Logic Can Help

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