Votación de Helios

El código del navegador de la interfaz está escrito en JavaScript y HTML , mientras que el código del servidor de la parte posterior está escrito en Python . ^{[ 8 ]} El Sistema de Preparación de la Boleta (BPS) guía a los votantes a través de la boleta y registra sus elecciones. ^{[ 7 ] [ 9 ]} El proceso para crear la boleta y procesar los votos se basa en el Protocolo de Votación Verificable Simple de Benaloh. ^{[ 10 ] [ 7 ]}

Tanto el frontend como el backend son software libre . El backend se publica bajo la licencia Apache 2.0 . ^{[ 11 ]} El frontend se publica bajo la licencia GNU GPL v3+ . ^{[ 12 ]}

Un votante, del padrón electoral creado por el administrador, recibe un correo electrónico con su nombre de usuario, una contraseña aleatoria para esa elección específica, una URL a la cabina de votación y un hash SHA-1 de los parámetros de la elección. El votante sigue el enlace del correo electrónico y comienza el proceso de votación. Una vez que el votante termina y revisa la papeleta, la sella, lo que activa Helios para cifrarla y mostrar un texto cifrado . ^{[ 7 ]}

En este punto, el votante puede auditar o emitir su voto. Auditar el voto le permite verificar que el texto cifrado sea correcto. Una vez finalizada la auditoría, el voto se descarta (para brindar cierta protección contra la compra de votos y la coacción) y se genera uno nuevo. Cuando el votante está listo para emitir su voto, debe proporcionar su información de inicio de sesión. ^{[ 7 ] [ 13 ]} Helios autentica la identidad del votante y se emite el voto. Todos los votos se publican en un tablón de anuncios público en línea que muestra el nombre o el número de identificación del votante junto con el voto cifrado. ^{[ 7 ]}

Tras finalizar las elecciones, el sistema Helios 1.0 barajaba las papeletas, descifraba todos los votos y hacía que el resultado fuera accesible públicamente para que las partes interesadas pudieran auditarlo. ^{[ 4 ]} La auditoría permitía a cualquiera verificar que el barajado era correcto. Una vez transcurrido un tiempo razonable para la auditoría, Helios descifraba las papeletas y contabilizaba los votos. Cualquiera podía descargar los datos electorales para verificar que el barajado, el descifrado y el recuento eran correctos. ^{[ 7 ]} Helios 2.0, diseñado en 2008 y actualmente en uso, abandonó el barajado y adoptó un esquema de cifrado homomórfico propuesto por Cramer, Gennaro y Schoenmakers. ^{[ 14 ]}

La plataforma Helios está diseñada para ser utilizada en entornos de baja coerción y a pequeña escala, como los consejos estudiantiles universitarios. Se conocen las siguientes limitaciones.

• En 2010, los investigadores identificaron una vulnerabilidad en el secreto del voto. ^{[ 17 ]}
• En 2011 y 2016, los investigadores identificaron vulnerabilidades de secuencias de comandos entre sitios (XSS) . La primera ponía en peligro las sesiones de los administradores y se corrigió rápidamente. ^{[ 17 ]} En cuanto a la segunda, si el atacante lograba que un votante hiciera clic en un enlace especialmente diseñado, este accedería a una página HELIOS modificada que podía violar el secreto del voto o manipular los votos. ^{[ 4 ]} Sin embargo, hasta 2021, no se había podido recrear la vulnerabilidad. ^{[ 18 ]}

Desde 2009, la Universidad Católica de Lovaina utilizó Helios para elegir a su rector (de unos 25 000 votantes elegibles, unos 5000 se registraron y 4000 votaron). ^{[ 17 ]} Ese mismo año, la Universidad de Princeton también lo adoptó para elegir a sus representantes estudiantiles.

Desde 2010, la Asociación Internacional para la Investigación Criptográfica ha utilizado Helios anualmente para elegir a los miembros de su junta directiva. ^{[ 19 ] [ 20 ]} Sin embargo, en 2025, un miembro del consejo perdió su clave privada durante la elección, lo que imposibilitó el descifrado de los resultados. La IACR anuló la elección e implementó medidas de seguridad adicionales, incluido un mecanismo de umbral de clave de 2 de 3. ^{[ 21 ]}

En 2014, la Asociación para la Maquinaria Informática utilizó Helios para sus elecciones generales. ^{[ 22 ]}

Durante las medidas de contención de la COVID-19 en Malasia (2020-2022), la Sociedad de la Lengua Tamil y la Sociedad Hindú de la Universidad de Malaya llevaron a cabo las elecciones de su Consejo Ejecutivo a través de Helios.