Usability Considerations For Coercion-Resistant Election Systems

Neto, André Silva; Leite, Matheus; Araújo, Roberto; Mota, Marcelle Pereira; Neto, Nelson; Traoré, Jacques

doi:10.1145/3274192.3274232

Cited by 14 publications

(8 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A proposta, no entanto,é passível de ataques de abstenção, já que um opressor poderia forçar o votante a entregar a ele o seu smart card, impedindo-o de votar. [Neto et al 2018] propõe que as credenciais sejam armazenadas em um servidor remoto. O acessoà credencial legítimaé realizado por meio de senha.…”

Section: Trabalhos Relacionadosunclassified

“…Independentemente da composição, credenciais são fundamentais para protocolos atingirem resistênciaà coerção, pelo menos em teoria. Todavia, quando esses protocolos são considerados em cenários práticos, as credenciais trazem problemas relativosà usabilidade, como apontado por [Neto et al 2018]. Consequentemente, a utilização incorreta das credenciais levam votantes a não resistirem a ataques coercivos.…”

Section: Credenciais Em Protocolos Resistentesà Coerçãounclassified

“…Em geral, tais credenciais são números grandes, o que dificulta o seu armazenamento e a sua geração pelos votantes. Como apontado por [Neto et al 2018], questões de usabilidade podem impactar na segurança do sistema de votação, dada a utilização incorreta das credenciais de votação.…”

Section: Introductionunclassified

See 2 more Smart Citations

Credenciais de Votação baseadas em BIP para Protocolos de Votação Resistentes à Coerção

Sá¹,

Araújo²

2019

Anais Do IV Workshop De Tecnologia Eleitora (WTE 2019)

Self Cite

View full text Add to dashboard Cite

Protocolos de votação resistentes à coerção dependem de credenciais para deterem ataques coercivos. Para isso, cada votante recebe uma credencial para votar e deve gerar credenciais falsas ao ser coagido. As credenciais, no entanto, são números grandes de difícil memorização. Isso diﬁculta a utilização desses protocolos em cenários práticos de votação. De forma a facilitar o emprego dessas credenciais, esse trabalho investiga a utilização do BIP-39 como base para credenciais mais práticas.

show abstract

Section: Trabalhos Relacionadosunclassified

Section: Credenciais Em Protocolos Resistentesà Coerçãounclassified

See 1 more Smart Citation

Credenciais de Votação baseadas em BIP para Protocolos de Votação Resistentes à Coerção

Sá¹,

Araújo²

2019

Anais Do IV Workshop De Tecnologia Eleitora (WTE 2019)

Self Cite

View full text Add to dashboard Cite

show abstract

“…O trabalho de [Silva Neto et al 2018] tambémé baseado no funcionamento do CIVIS, ondeé analisada a usabilidade do sistema. São propostas adaptações no procedimento de envio de voto por cada participante.…”

Section: Trabalhos Relacionadosunclassified

A Implementação de um Protocolo Criptográﬁco para Geração Distribuída de Credenciais no Sistema CIVIS

Sá¹,

Araújo²

2019

Anais Estendidos Do XIX Simpósio Brasileiro De Segurança Da Informação E De Sistemas Computacionais (SBSeg Estendido 2019)

Self Cite

View full text Add to dashboard Cite

O sistema para eleições via Internet CIVIS é baseado em um protocolo criptográﬁco que possibilita resistência à ataques coercivos, e para tal utiliza a ideia de credenciais. Uma credencial é formada por um conjunto de bits que deve ser gerado por um conjunto de autoridades eleitorais e entregue a cada votante em sigilo. Do contrário, o protocolo não garante resistência à ataques coercivos. Na versão atual do sistema CIVIS, entretanto, cada credencial é gerada porúnica autoridade eleitoral. Como consequência, o sistema depende que essa autoridade seja conﬁável para garantir a geração segura da credencial. Nesse contexto, este trabalho apresenta uma implementação de um protocolo para a geração distribuída de credencias a ﬁm de tornar a geração de credenciais mais segura no sistema.

show abstract

“…[18,2,6,20], however, each with their drawbacks. JCJ and similar constructions however also suffer from usability deficits, see also [14]. Especially, the voter intrinsically cannot directly check if a cast ballot is valid and will be counted, see however [8].…”

Section: Introductionmentioning

confidence: 99%

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting

Estaji

Haines

Gjøsteen

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

In this paper we revisit the seminal coercion-resistant e-voting protocol by Juels, Catalano and Jakobsson (JCJ) and in particular the attempts to make it usable and practical. In JCJ the user needs to handle cryptographic credentials and be able to fake these in case of coercion. In a series of three papers Neumann et al. analysed the usability of JCJ, and constructed and implemented a practical credential handling system using a smart card which unlock the true credential via a PIN code, respectively fake the credential via faking the PIN. We present several attacks and problems with the security of this protocol, especially an attack on coercion-resistance due to information leakage from the removal of duplicate ballots. Another problem, already stressed but not solved by Neumann et al, is that PIN typos happen frequently and would invalidate the cast vote without the voter being able to detect this. We construct different protocols which repair these problems. Further, the smart card is a trusted component which can invalidate cast votes without detection and can be removed by a coercer to force abstention, i.e. presenting a single point of failure. Hence we choose to make the protocols hardware-flexible i.e. also allowing the credentials to be store by ordinary means, but still being PIN based and providing PIN error resilience. Finally, one of the protocols has a linear tally complexity to ensure an efficient scheme also with many voters.

show abstract

Usability Considerations For Coercion-Resistant Election Systems

Cited by 14 publications

References 14 publications

Credenciais de Votação baseadas em BIP para Protocolos de Votação Resistentes à Coerção

Credenciais de Votação baseadas em BIP para Protocolos de Votação Resistentes à Coerção

A Implementação de um Protocolo Criptográﬁco para Geração Distribuída de Credenciais no Sistema CIVIS

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting

Contact Info

Product

Resources

About