Project details
Outline
The project Socio-Technical Verification of Information Security and Trust in Voting Systems (STV) is funded by NCBiR (Narodowe Centrum BadaĆ i Rozwoju, Poland) and FNR (Fonds National de la Recherche, Luxembourg) within POLLUX/CORE scheme. The participating institutions are the Institute of Computer Science, Polish Academy of Sciences (ICS PAS), the University of Luxembourg (UL), and Polish-Japanese IT Academy (PJITA). The total budget of the project is 1.315.743,44 €. The three-year project starts on 1st September 2019.
STV is co-lead by Prof. Peter Y. A. Ryan (Luxembourg) and Prof. Wojciech Jamroga (Poland). Please visit the team for the list of current and past- participating researchers. This website will provide the news about the project - the published papers, talks, software, organized workshops, etc.
Description
Voting and elections are extremely important for democratic societies. If democracy is to be effective, it is essential to assess and mitigate the threats of fraud, manipulation, and coercion. However, formal analysis of voting infrastructures usually misses the fact that voting serves humans, is executed mostly by humans, and its outcome has serious impact on human welfare. Thus, we need to formally model and analyse not only the technological side of elections (i.e., protocols, architectures, and implementations), but also the human and social context in which it is embedded. The impact of the social factor has become especially evident in the view of some recent controversial elections, including the latest US presidential election. In particular, the Cambridge Analytica scandal showed to what extent a combination of technology and skilful social engineering is already being used to manipulate public decisions.
In this project, we propose to use techniques from game theory, multi-agent systems, and theory of socio-technical systems to redefine and analyse various requirements in public decision-making procedures, such as voting and elections. In particular, we will propose and investigate variants of confidentiality, coercion-resistance, and voter- verifiability that take into account the social environment in which the election procedures and the voting infrastructure are embedded. The goal is threefold. First, we want to improve our understanding of the mutual influence between technological and social components in a democratic society. Secondly, we aim at development of formal methods for identification and analysis of threats in such systems. Thirdly, we will propose how to generalize existing, technology-centred solutions for secure and verifiable voting to face the challenges on the socio-technical level.
Keywords
information security, dynamics of trust, voting protocols, coercion-resistance and confidentiality, socio-technical systems, model checking and equilibrium checking, strategic logics, algorithms and tools, e-democracy