Votação eletrônica pós-quântica aplicada no Helios Voting

Detalhes bibliográficos
Autor(a) principal: Barbosa, João Pedro Cardoso Barbosa
Data de Publicação: 2024
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/255702
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Sistemas de Informação.
id UFSC_440aa3c7c32fd5d14a22fe47054298ee
oai_identifier_str oai:repositorio.ufsc.br:123456789/255702
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Votação eletrônica pós-quântica aplicada no Helios VotingVotação EletrônicaHomomorfismoCriptografia Pós-QuânticaCriptografia Baseada em ReticuladosCriptografiaTCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Sistemas de Informação.A digitalização do processo de votação traz comodidades tanto no lado do votante, quanto para as entidades responsáveis pela contagem de votos. No entanto, votação eletrônica introduz um alto grau complexidade na busca pelo equilíbrio entre seu altíssimo requisito de privacidade com a necessidade da verificabilidade das etapas do processo, demandando propriedades dificilmente alcançáveis em conjunto, como anonimato de votos, cédulas verificáveis, proteção contra fraudes e auditabilidade. Assim, criptografia é um instrumento fundamental para possibilitar que esses protocolos atendam esses requisitos, proporcionando artifícios para cifra de votos juntamente com provas de conhecimento zero que garantem asserções confiáveis referentes a validade da eleição. Muito utilizado no ambiente acadêmico, o sistema Helios desenvolvido por Adida (2008) emprega o protocolo votação eletrônica de Cramer et al. (1997) que é baseado em contagem homomórfica das cifras do esquema ElGamal, permitindo a computação dos votos sem o resultado de um voto individual ser revelado, garantindo a privacidade do votante. Todavia, o advento da computação quântica compromete a segurança dos algoritmos clássicos como o ElGamal, demandando esforços para padronização de novos esquemas baseados em problemas seguros contra este tipo de adversário, notavelmente as classes de problemas baseadas em reticulados. Dessa forma, este trabalho realizará um estudo de protocolos clássicos de votação eletrônica e das propostas na literatura de esquemas seguros contra adversários quânticos, selecionando um para implementação, considerando o Helios como caso de usoThe digitalization of the voting process brings convenience both for the voter and the entities responsible for counting the votes. However, electronic voting introduces a high degree of complexity in the search for a balance between its extremely high privacy requirement and the need for verifiability in all the process stages. It demands properties that are difficult to achieve together, such as anonymity of votes, verifiable ballots, protection against fraud, and auditability. Thus, cryptography is a fundamental instrument that enables these protocols to meet these requirements, providing mechanisms for encrypting votes along with zero-knowledge proofs that are reliable assertions regarding the validity of the election. Widely used in academia, the Helios system developed by Adida (2008) employs the electronic voting protocol of Cramer et al. (1997), which is based on homomorphic counting of ElGamal’s ciphers, allowing votes to be computed without the result of an individual vote being revealed, guaranteeing voter privacy. However, the advent of quantum computing compromises the security of classical algorithms such as ElGamal, requiring efforts to standardize new schemes based on secure problems against this type of adversary, notably classes of problems based on lattices. Therefore, this work will study classic electronic voting protocols and proposals in the literature for secure schemes against quantum adversaries, selecting one for implementation, considering Helios as a use case.Florianópolis, SC.Idalino, Thaís BardiniZambonin, GustavoUniversidade Federal de Santa Catarina.Barbosa, João Pedro Cardoso Barbosa2024-07-08T20:33:10Z2024-07-08T20:33:10Z2024-06-27info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis119application/pdfhttps://repositorio.ufsc.br/handle/123456789/255702Open Access.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSC2024-07-08T20:33:10Zoai:repositorio.ufsc.br:123456789/255702Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732024-07-08T20:33:10Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Votação eletrônica pós-quântica aplicada no Helios Voting
title Votação eletrônica pós-quântica aplicada no Helios Voting
spellingShingle Votação eletrônica pós-quântica aplicada no Helios Voting
Barbosa, João Pedro Cardoso Barbosa
Votação Eletrônica
Homomorfismo
Criptografia Pós-Quântica
Criptografia Baseada em Reticulados
Criptografia
title_short Votação eletrônica pós-quântica aplicada no Helios Voting
title_full Votação eletrônica pós-quântica aplicada no Helios Voting
title_fullStr Votação eletrônica pós-quântica aplicada no Helios Voting
title_full_unstemmed Votação eletrônica pós-quântica aplicada no Helios Voting
title_sort Votação eletrônica pós-quântica aplicada no Helios Voting
author Barbosa, João Pedro Cardoso Barbosa
author_facet Barbosa, João Pedro Cardoso Barbosa
author_role author
dc.contributor.none.fl_str_mv Idalino, Thaís Bardini
Zambonin, Gustavo
Universidade Federal de Santa Catarina.
dc.contributor.author.fl_str_mv Barbosa, João Pedro Cardoso Barbosa
dc.subject.por.fl_str_mv Votação Eletrônica
Homomorfismo
Criptografia Pós-Quântica
Criptografia Baseada em Reticulados
Criptografia
topic Votação Eletrônica
Homomorfismo
Criptografia Pós-Quântica
Criptografia Baseada em Reticulados
Criptografia
description TCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Sistemas de Informação.
publishDate 2024
dc.date.none.fl_str_mv 2024-07-08T20:33:10Z
2024-07-08T20:33:10Z
2024-06-27
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/255702
url https://repositorio.ufsc.br/handle/123456789/255702
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Open Access.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Open Access.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 119
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC.
publisher.none.fl_str_mv Florianópolis, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652322672214016

Registros relacionados