Change search
ReferencesLink to record
Permanent link

Direct link
A Security Analysis of the Helios Voting Protocol and Application to the Norwegian County Election
Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, Department of Mathematical Sciences.
2014 (English)MasteroppgaveStudent thesis
Abstract [en]

We present Helios, an end-to-end verifiable internet voting system. We describe the existing protocol, the encryption and decryption process with corresponding proofs, and analyse an attack against ballot secrecy. Further we do some changes to the existing voting protocol. In the original protocol we are not able to prove soundness and extract the witness in the proof of correct encryption. Hence, we are not able to make a formal proof of ballot secrecy. We solve this problem by adding a different proof of correct encryption. In the second change we combine the ElGamal encryption with a generalisation of the Paillier encryption and analyse whether it can be used as an efficient voting protocol for the Norwegian county election.

Place, publisher, year, edition, pages
Institutt for matematiske fag , 2014. , 54 p.
URN: urn:nbn:no:ntnu:diva-26086Local ID: ntnudaim:11631OAI: diva2:744096
Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2014-09-05Bibliographically approved

Open Access in DiVA

fulltext(610 kB)374 downloads
File information
File name FULLTEXT01.pdfFile size 610 kBChecksum SHA-512
Type fulltextMimetype application/pdf
cover(184 kB)6 downloads
File information
File name COVER01.pdfFile size 184 kBChecksum SHA-512
Type coverMimetype application/pdf

By organisation
Department of Mathematical Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 374 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 31 hits
ReferencesLink to record
Permanent link

Direct link