| EPSRC Reference: |
EP/E029833/1 |
| Title: |
Verifying Properties in Electronic Voting Protocols |
| Principal Investigator: |
Ryan, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research |
| Starts: |
01 September 2006 |
Ends: |
31 December 2006 |
Value (£): |
27,459
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Information & Knowledge Mgmt |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes, and to offer security guarantees not available on paper-based systems (such as voter verification of the election). But it also carries the potential of making abuse easier to perform undetectably and at a large scale, and therefore rigorous security analysis is essential.The research will analyse existing voting protocols defined in the literature in terms of the formalisations of properties previously undertaken by the investigator and the named visitor.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bham.ac.uk |