Civitas: Rumo a um Sistema de Votação Seguro

Civitas é o primeiro sistema de votação eletrônica que é resistente à coação, universalmente verificável pelo eleitor e adequado para votação remota. Este artigo descreve o design e a implementação do Civitas. A segurança é estabelecida no design por meio de provas de segurança, e na implementação por meio de análise de segurança do fluxo de informações. Resultados experimentais fornecem uma avaliação quantitativa das compensações entre tempo, custo e segurança.