Electronic Voting: How Logic Can Help
From MaRDI portal
Publication:3192178
Recommendations
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)