Formal verification of the Norwegian Internet Voting Protocol
dc.contributor.advisor | Gjøsteen, Kristian | |
dc.contributor.author | Slågedal, Solvei | |
dc.date.accessioned | 2018-08-31T14:01:04Z | |
dc.date.available | 2018-08-31T14:01:04Z | |
dc.date.created | 2018-06-19 | |
dc.date.issued | 2018 | |
dc.identifier | ntnudaim:19954 | |
dc.identifier.uri | http://hdl.handle.net/11250/2560372 | |
dc.description.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. | |
dc.language | eng | |
dc.publisher | NTNU | |
dc.subject | Fysikk og matematikk, Industriell matematikk | |
dc.title | Formal verification of the Norwegian Internet Voting Protocol | |
dc.type | Master thesis |