Output details
11 - Computer Science and Informatics
University of Birmingham
Article title
Verifying privacy-type properties of electronic voting protocols
Type
D - Journal article
Title of journal
Journal of Computer Security
Article number
-
Volume number
17
Issue number
4
First page of article
435
ISSN of journal
0926-227X
Year of publication
2009
URL
-
Number of additional authors
2
Additional information
<10>Electronic voting methods are being considered or adopted by countries the world over. In earlier paper, we were first to apply formal methods to verifying electronic voting protocols and to prove difficult security properties such as voter-incoercibility and result-verifiability. This output has led to dozens of follow-on papers from influential and highly cited groups internationally, that further develop and extend our methods and apply them to new systems. It has also led to an EPSRC proposal in electronic voting ranked top by the prioritisation panel, and to several keynote talks, including Vote-ID'10 and ESSOS'11 and several universities.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Security and Privacy
Citation count
72
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
