VOTO ELECTRÓNICO

no detectables en el resultado de la elección. De ello surge
el marco teórico de “verificabilidad de extremo a extremo”
(end-to-end verifiability) (Benaloh et al., 2015); pero si bien
este marco es formalmente correcto, se ha probado que los
sistemas que lo implementan tienen graves problemas de
usabilidad que conducen a bajos porcentajes de éxito en la
emisión y la verificación del voto.
Como se ha expuesto más arriba, todo sistema informático
es suceptible de error o de intervención maliciosa. La notable
complejidad del conjunto presenta una enorme superficie
vulnerable: aun cuando pudiera obtenerse un razonable
grado de aseguramiento respecto del software de aplicación
empleado, por debajo de este yacen numerosas capas de
software y hardware, cada una de ellas sujeta a problemas
de seguridad. Los sistemas de voto electrónico son particularmente
frágiles: ninguno ha sido formalmente verificado,
y todos los que han sido sometidos a análisis exhaustivo por
expertos independientes han mostrado fallas explotables por
adversarios, como el de Brasil (Aranha et al. 2014) o el de la
India (Wolchok et al. 2010). Incluso análisis fragmentarios
han hallado fallas muy graves, como en el caso del sistema
Vot.ar utilizado en la Ciudad de Buenos Aires y en Salta.
Las cuestiones centrales de seguridad radican en la preservación
de la integridad y el secreto del voto. Cuando se
utilizan sistemas de registro directo electrónico sin ningún
comprobante verificable por el elector, el logro de estas condiciones
es imposible de demostrar. Para la primera cuestión,
como señalábamos más arriba, se ha intentado generar un
elemento que el elector pueda verificar por sí mismo. Sin
embargo, la observación empírica y el resultado de pruebas
controladas proporcionan amplia evidencia de que la mayoría
de los electores generalmente no verifican los comprobantes
impresos (ni siquiera cuando ese control es un paso
indispensable para completar la transacción) y, cuando los
controlan, de todos modos se deslizan altas tasas de error.
En un experimento, Everett (2007) halla que más del 60%
de los votantes no detecta los errores introducidos (algunos
107