Formal verification of the Norwegian Internet Voting Protocol
Master thesis
Permanent lenke
http://hdl.handle.net/11250/2560372Utgivelsesdato
2018Metadata
Vis full innførselSamlinger
Sammendrag
In this paper we look at the formalization and verification of several security componentsof the cryptosystem underlying The Norwegian Internet Voting Protocol. The focus will beon vote submission and B-Integrity.