Blar i NTNU Open på forfatter "Slågedal, Solvei"
-
Formal verification of the Norwegian Internet Voting Protocol
Slågedal, Solvei (Master thesis, 2018)In this paper we look at the formalization and verification of several security components of the cryptosystem underlying The Norwegian Internet Voting Protocol. The focus will be on vote submission and B-Integrity.