Trustworthy Voting Systems
Lead Research Organisation:
University of Birmingham
Department Name: School of Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
People |
ORCID iD |
| Mark Ryan (Principal Investigator) |
Publications
Arapinis M
(2012)
Principles of Security and Trust
Arapinis M
(2013)
Principles of Security and Trust
BalaguƩ D
(2014)
Confinement for repulsive-attractive kernels
in Discrete & Continuous Dynamical Systems - B
Bursuc S
(2012)
E-Voting and Identity
Delaune S
(2009)
Verifying privacy-type properties of electronic voting protocols
in Journal of Computer Security
Grewal G
(2015)
Du-Vote: Remote Electronic Voting with Untrusted Computers
Grewal G
(2013)
Caveat Coercitor: Coercion-Evidence in Electronic Voting
Mark D Ryan
(2014)
FMS @ Petri Nets
in Du-Vote: Remote Electronic Voting with Unstructured Computers
Stephanie Delaune
(2010)
Veriyfing Privacy-Type Properties of Electronic Voting Protocols: A Taster
| Description | Further development of formal characterisation of coercion-resistance property of electronic voting systems. Further analysis of existing systems in terms of said characterisation. Further development of automated techniques for said analysis. Formal characterisation of verifiability property of electronic voting systems. Identification of "eligibility verifiability" as key aspect of verifiability. Analysis of existing systems in terms of verifiability characterisation. Development and analysis of system of "trial votes" in order to enhance usability of verifiability properties of electronic systems. Development of techniques to formally analyse voting systems that employ re-encryption mixnets. Identification of "coercion evidence" property as alternative to coercion resistance to enhance usability of electronic voting systems. Development of method for measuring how much coercion has taken place in an election. Development of a method for voting on untrustworthy computers. |
| Exploitation Route | Research can be used to inform partner companies that make voting systems, such as Opt2Vote and Electoral Reform Services. Research can be used to inform partner UK government departments such as Ministry of Justice. Research can be used to inform academics designing and/or developing voting systems. |
| Sectors | Creative Economy Digital/Communication/Information Technologies (including Software) Financial Services and Management Consultancy Government Democracy and Justice Security and Diplomacy Other |
| Description | Instigated a new field of formal methods analysis of electronic voting systems, which has been taken up by several other groups around the world. Our papers in this area have been cited over 400 times. There was also much media coverage, including an appearance by the PI on BBC Newsnight (Scotland) in May 2014, and a write-up in the Independent. |
| First Year Of Impact | 2014 |
| Sector | Digital/Communication/Information Technologies (including Software),Government, Democracy and Justice,Security and Diplomacy,Other |
| Impact Types | Societal Economic |
| Description | Opt 2 Vote |
| Organisation | Opt 2 Vote |
| Country | United Kingdom |
| Sector | Private |
| PI Contribution | Opt 2 Vote is a provider of voting and election management software. |
| Collaborator Contribution | Collaboration on trustworthy voting systems |
| Impact | Discussion and meetings |
| Start Year | 2009 |
| Description | Dagstuhl Summer School on Electronic Voting |
| Form Of Engagement Activity | Participation in an activity, workshop or similar |
| Part Of Official Scheme? | Yes |
| Type Of Presentation | workshop facilitator |
| Geographic Reach | International |
| Primary Audience | Professional Practitioners |
| Results and Impact | Discussion of results. Dagstuhl Summer School |
| Year(s) Of Engagement Activity | 2010 |
| URL | http://secvote.uni.lu/ |