Voto electrónico es una expresión que comprende varios tipos de votación, que abarca tanto modos electrónicos de emitir votos (voto por internet) como medios electrónicos de contar los votos.Las tecnologías para el voto electrónico pueden incluir tarjetas perforadas, sistemas de votación mediante escáneres ópticos y quioscos de votación especializados (incluso sistemas de votación autocontenidos sistemas de votación de Registro o Grabación Electrónica Directa, DRE por sus siglas en inglés). También puede referirse a la transmisión de papeletas y votos por vía telefónica, redes de computación privadas o por la Internet.Las tecnologías del voto electrónico pueden acelerar el conteo de los votos y proveer una mejor accesibilidad para los votantes con algún tipo de discapacidad. Sin embargo, ha sido calificado como anticonstitucional en algunos países (como Alemania1 ) por no permitir la fiscalización del proceso por personas sin conocimientos altamente especializados.No se ha encontrado un modelo formal (conocido en la jerga como Model checking) que garantice la seguridad de un sistema electrónico de votación. Los modelos formales son un requisito básico para mostrar que un sistema no tiene fallas triviales.
