El Sistema de votació Helios, en anglès: Helios Voting, és un sistema de votació electrònica de codi obert i basat en web. Els usuaris poden votar en eleccions i els usuaris poden crear eleccions. Qualsevol persona pot emetre un vot; tanmateix, perquè el vot final es compti, cal verificar la identificació del votant. Helios utilitza xifratge homomòrfic per garantir el secret del vot.

Va ser creat per Ben Adida, un enginyer de programari involucrat en altres projectes com ara Creative Commons i Mozilla Persona.

Característiques Helios permet als usuaris registrats crear eleccions. Cada compte requereix una adreça de correu electrònic, un nom i una contrasenya. L'usuari registrat pot crear una elecció especificant un nom i un període de temps. L'usuari que ha creat l'elecció es coneix com a administrador de l'elecció. Un cop creada una elecció, Helios proporciona una clau pública a l'administrador. L'administrador prepara la papereta i crea una llista de votants; aquestes es poden editar en qualsevol moment abans que comenci la votació. L'administrador congela l'elecció quan l'elecció està a punt perquè els votants hi puguin emetre els seus vots. Quan l'elecció està congelada, no es poden fer canvis a la papereta, a la llista de votants ni al període de temps de l'elecció.

Codi font El codi del navegador front-end està escrit en JavaScript i HTML, mentre que el codi del servidor back-end està escrit en Python. El sistema de preparació de paperetes (BPS) guia els votants a través de la papereta i registra les seves eleccions. El procés per crear la papereta i processar els vots es basa en el protocol simple verificable de Benaloh.

Tant el frontend com el backend són programari lliure. El backend es publica sota la llicència Apache 2.0. El frontend es publica sota la GNU GPL v3+.

Procés de votació Un votant, a partir de la llista de votants creada per l'administrador, rep un correu electrònic amb el seu nom d'usuari, una contrasenya aleatòria per a aquella elecció específica, una URL a la cabina de votació i un hash SHA-1 dels paràmetres electorals. El votant segueix l'enllaç del correu electrònic i comença el procés de votació. Un cop el votant acaba i ha revisat la papereta, la segella, cosa que activa Helios per xifrar-la i mostrar un text xifrat.

En aquest punt, el votant pot auditar o emetre la papereta. L'auditoria de la papereta permet al votant verificar que el text xifrat és correcte. Un cop finalitzada l'auditoria de la papereta, aquesta es descarta (per proporcionar certa protecció contra la compra de vots i la coacció) i es construeix una nova papereta. Quan el votant està a punt per emetre el seu vot, ha de proporcionar la seva informació d'inici de sessió. Helios autentica la identitat del votant i la papereta s'emet. Tots els vots es publiquen en un tauler d'anuncis públic en línia que mostra el nom del votant o el número d'identificació del votant amb el vot xifrat.

Procés de recompte Després que acabessin unes eleccions, el sistema Helios 1.0 va barrejar les paperetes. Va desxifrar tots els vots i va fer que la barreja fos públicament accessible perquè les parts interessades la poguessin auditar. L'auditoria permetia a qualsevol persona verificar que la barreja era correcta. Un cop transcorregut un temps raonable per a l'auditoria, Helios desxifrava les paperetes i comptava els vots. Qualsevol persona podia descarregar les dades electorals per verificar que la barreja, els desxifrats i el recompte fossin correctes. Helios 2.0, dissenyat el 2008 i actualment en ús, va abandonar la barreja i va canviar a un esquema de xifratge homomòrfic proposat per Cramer, Gennaro i Schoenmakers.

Limitacions del sistema La plataforma Helios està pensada per ser utilitzada en entorns de baixa coercició i petita escala, com ara governs estudiantils universitaris. Es coneixen les següents limitacions.

Privacitat Cal confiar que el servidor centralitzat no violi el secret de les votacions, aquesta limitació es pot mitigar distribuint la confiança entre diverses parts interessades. La coacció i la compra de vots només estan garantides quan el material utilitzat per construir les paperetes (més precisament, els noces) és desconegut pels votants, per exemple, quan s'utilitzen dispositius de confiança per construir paperetes.

Verificabilitat Cal confiar en el dispositiu d'auditoria/reconstrucció de paperetes per garantir una auditoria reeixida (també coneguda com a verificabilitat de l'emissió segons la intenció), aquesta limitació es pot mitigar distribuint les comprovacions d'auditoria entre diversos dispositius, dels quals només un ha de ser de confiança.

Seguretat El 2010, uns investigadors van identificar una vulnerabilitat relacionada amb el secret de les votacions. El 2011 i el 2016, els investigadors van identificar vulnerabilitats de cross-site scripting. La primera posa en perill les sessions dels administradors i es va corregir immediatament. Per a la segona, si l'atacant aconsegueix que un votant faci clic a un enllaç especialment dissenyat, el votant arribarà a una pàgina HELIOS modificada que pot violar el secret de les votacions o manipular els vots. Tanmateix, a partir del 2021 la vulnerabilitat no es va poder recrear.

Història Adopció Des del 2009, la Universitat Catòlica de Lovaina utilitza Helios per elegir el seu president (d'uns 25.000 votants amb dret a vot, uns 5.000 es van registrar i 4.000 van votar). El mateix any, la Universitat de Princeton també el va adoptar per elegir els governs estudiantils.

Des del 2010, l'Associació Internacional per a la Recerca Criptogràfica ha utilitzat Helios anualment per elegir els membres de la junta. El 2025, però, un administrador va perdre la seva clau privada durant l'elecció, cosa que va fer impossible desxifrar els resultats. L'IACR va anul·lar l'elecció i va implementar salvaguardes addicionals, inclòs un mecanisme de llindar de clau de 2 de 3.

El 2014, l'⁣Associació de Maquinària Informàtica va utilitzar Helios per a les seves eleccions generals.

Durant les mesures de contenció de la COVID-19 a Malàisia (2020–2022), la Societat de la Llengua Tàmil i la Societat Hindú de la Universitat de Malaya van dur a terme les seves eleccions al Consell Executiu a través d'Helios.

Referències

Categoria:Aplicacions web Categoria:Vot Categoria:Criptografia