Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - Journal of Computer Security, 2009 - content.iospress.com
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - Journal of Computer Security, 2009 - dl.acm.org
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] and Mark Ryan

S Delaune, S Kremer - 2008 - lsv.fr
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - archiv.infsec.ethz.ch
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] and Mark Ryan

S Delaune, S Kremer - 2008 - lsv.ens-cachan.fr
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - scholar.archive.org
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] Verifying privacy-type properties of electronic voting protocols

S Delaunea, S Kremerb, M Ryana - cs.bham.ac.uk
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[引用][C] Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - Journal of Computer …, 2009 - research.birmingham.ac.uk
Verifying privacy-type properties of electronic voting protocols — University of Birmingham
Skip to main navigation Skip to search Skip to main content University of Birmingham Home …

[PDF][PDF] Verifying privacy-type properties of electronic voting protocols

S Delaunea, S Kremerb, M Ryana - lsv.ens-cachan.fr
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

[PDF][PDF] and Mark Ryan

S Delaune, S Kremer - 2008 - Citeseer
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …