Formal verification of the Norwegian Internet Voting Protocol

Abstract

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.