Home // Research // FSTC // Computer Sci... // Research Pro... // Verification of Voter-Verifiable Voting Protocols

Verification of Voter-Verifiable Voting Protocols

Funding: Fonds National de la Recherche > CORE Narodowe Centrum Badań i Rozwoju
Start Date: Sept. 1, 2016
End Date: Aug. 31, 2019


We propose to use techniques from formal specification and verification of multi-agent systems, and apply them to verify information security requirements for voting protocols. In particular, we will look at various formalizations of confidentiality, coercion-resistance, and voter-verifiability in e-voting protocols. The research will lead to the development of a toolbox for practical verification of strategic properties in interaction protocols. Based on case studies using the toolbox, we will draft some advice on how societal processes of governance and collective choice can be improved.