• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for matematiske fag
  • View Item
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for matematiske fag
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Security Analysis of the Helios Voting Protocol and Application to the Norwegian County Election

Salamonsen, Kristine
Master thesis
Thumbnail
View/Open
744096_COVER01.pdf (184.1Kb)
744096_FULLTEXT01.pdf (610.1Kb)
URI
http://hdl.handle.net/11250/259363
Date
2014
Metadata
Show full item record
Collections
  • Institutt for matematiske fag [2686]
Abstract
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.
Publisher
Institutt for matematiske fag

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit