Vot SI o Vot NO: ¿Qué hay detrás de un sistema de voto electrónico?
Pensemos en las elecciones y la boleta única electrónica, y de la posibilidad de que alguien pudiera manipular la forma en que votamos. ¿Qué pasaría si las máquinas de votación estuvieran ""comprometidas""? En pocas palabras: de todo.
En el formato 'boleta electrónica', el ciudadano elige a sus candidatos y la máquina debe grabar su elección de forma digital y además imprimirlo en formato legible. Así, por ejemplo, una máquina comprometida o adulterada podría imprimir al candidato A en letras y grabar digitalmente al B, por poner sólo un caso.
En esta charla discutiremos sobre cómo, desde la experiencia científica de la Ingeniería de Software y la Seguridad Informática, se puede aportar a la sociedad una visión crítica respecto del voto asistido por medios electrónicos.
Queremos poder votar de forma secreta y segura, y que nuestro voto se escuche exactamente como lo manifestamos, aun cuando el resultado no nos guste, pero sabiendo que genuinamente nos representa.
Sobre los charlistas
Hernan es Doctor en Informática de la Universidad de Pisa, Italia.
Actualmente es profesor en el Departamento de Computación de la UBA e Investigador del ICC (Instituto UBA-CONICET). Su trabajo de investigación esta enfocado en teoría de la concurrencia, lenguajes de programación y técnicas formales de programas.
Nicolás es Doctor en Ciencias de la computación egresado del Imperial College de Londres. Es docente del departamento de Computación desde el año 2005. Actualmente es profesor del departamento en el área de Ingeniería de Software. Es investigador de CONICET, se especializa en diferentes subareas de la Inteligencia Artificial, Ingeniería de Software y Robótica. Más específicamente, trabaja en modelado de comportamiento, verificación de modelos, planificación, y síntesis de controladores. Dirige varias tesis de licenciatura y doctorado en ésta facultad.
