Page d'accueil // Recherche // FSTC // Computer Sci... // Projets de r... // Verification of Voter-Verifiable Voting Protocols

Verification of Voter-Verifiable Voting Protocols

Financement: Fonds National de la Recherche > CORE Narodowe Centrum Badań i Rozwoju
Date de début: 1 septembre 2016
Date de fin: 31 août 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.