Formal verification of the Norwegian Internet Voting Protocol
Abstract
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.