Dissertação

{en_GB=Analysis and Implementation of a Suitable E-Voting Solution for Universidade de Lisboa} {} EVALUATED

{pt=Esta dissertação consiste na análise e implementação de um sistema de e-voting adequado para a Universidade de Lisboa. É necessário que este sistema de e-voting satisfaça a maioria das propriedades dos sistemas de votação como integridade, privacidade e verificabilidade. Deve ao mesmo tempo fornecer uma interface simples para permitir que usuários inexperientes e sem conhecimentos técnicos possam usá-lo de forma correta e com confiança. Também é aceitável que o sistema não garanta a não-coerção, uma vez que a maioria das eleições que é expectável que sejam realizadas neste apresentam um baixo risco de coerção. Esta implementação é baseada numa versão do Helios: um sistema de votação que permite a qualquer observador disposto auditar todo o processo de uma eleição, já tendo sido usada várias vezes em eleições no mundo real. A tese detalha as modificações que foram feitas no Helios de modo a cumprir os requisitos especificados pela Universidade de Lisboa. Após a adaptação e personalização do sistema, foi orquestrado um teste de campo com eleitores reais em conjunto com um formulário para avaliar e detectar problemas e dificuldades relacionados com segurança, autenticação, usabilidade e acessibilidade que possam ter passado despercebidos. Como tal, mais modificações são realizadas no sistema para mitigar qualquer problema detectado, e todos os problemas por resolver encontram-se devidamente registados. Este projeto já foi usado numa eleição no mundo real cujos detalhes se encontram discriminados nesta tese. Por fim são apresentadas as conclusões e as limitações atuais do sistema, assim como trabalhos futuros para melhorá-lo ainda mais., en=This thesis consists of the analysis and implementation of a suitable e-voting system for Universidade de Lisboa. It is required that this system satisfies most of the voting system properties such as integrity, privacy and verifiability while also providing a simple interface to allow inexperienced users with no technical knowledge to use it correctly and confidently. It is also acceptable that the system does not guarantee non-coercibility since most of the elections that are expected to be performed in it have a low-coercive risk. This implementation is based on a version of Helios: a voting system that allows any willing observer to audit the entire process of an election and has already been used several times in real-world elections. The thesis then details modifications that were made in Helios in order to comply with the requirements specified by the Universidade de Lisboa. After adapting and customizing the system, a field test with real voters was orchestrated together with a form in order to evaluate and detect problems and adversities related to security, authentication, usability and accessibility that may have gone unnoticed. As such, further modifications are performed in the system to mitigate any detected problem and every unresolved issue is properly documented. This project has already been used in a real-world election which details can be found in this thesis. Finally, the conclusion and the current system limitations are presented, as well as future work to further improve the system.}
{pt=e-voting, eleições, Helios, criptosistemas, en=e-voting, elections, Helios, cryptosystems}

Julho 27, 2021, 10:30

Orientação

ORIENTADOR

Carlos Nuno da Cruz Ribeiro

Departamento de Engenharia Electrotécnica e de Computadores (DEEC)

Professor Associado