Electronic Voting: How Logic Can Help

DOI10.1007/978-3-319-08587-6_2zbMATH Open1423.68064OpenAlexW115478859MaRDI QIDQ3192178FDOQ3192178

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• 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
• Verification of multi-agent properties in electronic voting: a case study
• Electronic voting
• On the security properties of e-voting bulletin boards
• Formal analysis and offline monitoring of electronic exams
• Schulze voting as evidence carrying computation
• Static validation of a voting protocol
• The computer ate my vote

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)