Resistência à Coerção e Verificabilidade Fim-a-Fim em Sistemas de Votação

Modernos sistemas de votação utilizam-se de propriedades como Resistência à Coerção e Verificabilidade Fim-a-Fim. Enquanto a primeira tem como foco eleições presenciais, a segunda objetiva mitigar ataques coercivos em eleições via Internet. Este projeto propõem-se a investigar o emprego de tais propriedades em protocolos e sistemas eleitorais. Ele tem como objetivo a pesquisa de melhorias para protocolos que envolvem essas propriedades.