dc.contributor.advisor | Gjøsteen, Kristian | |
dc.contributor.advisor | Boyd, Colin | |
dc.contributor.author | Solberg, Morten Rotvold | |
dc.date.accessioned | 2023-12-19T14:47:19Z | |
dc.date.available | 2023-12-19T14:47:19Z | |
dc.date.issued | 2023 | |
dc.identifier.isbn | 978-82-326-7461-9 | |
dc.identifier.issn | 2703-8084 | |
dc.identifier.uri | https://hdl.handle.net/11250/3108263 | |
dc.language.iso | eng | en_US |
dc.publisher | NTNU | en_US |
dc.relation.ispartofseries | Doctoral theses at NTNU;2023:381 | |
dc.relation.haspart | Paper 1: Gjøsteen, Kristian; Haines, Thomas Edmund; Solberg, Morten Rotvold. Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme. Full version of a paper published at the Nordic Conference on Secure IT Systems, NordSec 2020. Available at: eprint.iacr.org/2020/1331 | en_US |
dc.relation.haspart | Paper 2: Drăgan, Constantin Cătălin; Dupressoir, François; Estaji, Ehsan; Gjøsteen, Kristian; Haines, Thomas; Ryan, Peter Y. A.; Rønne, Peter B.; Solberg, Morten Rotvold. Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. Extended version of a paper published at the 35th IEEE Computer Security Foundations Symposium, CSF 2022. The conference version is available at: eprint.iacr.org/2022/1182 | en_US |
dc.relation.haspart | Paper 3: Drăgan, Constantin Cătălin; Dupressoir, François; Gjøsteen, Kristian; Haines, Thomas; Rønne, Peter B.; Solberg, Morten Rotvold. Machine-Checked Proofs of Accountability: How to sElect who is to Blame. Available at: https://hal.science/hal-04216243 | en_US |
dc.relation.haspart | Paper 4: Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. Preprint version of a paper published at the Eight International Joint Conference on Electronic Voting, E-Vote-ID 2023. Available at: https://eprint.iacr.org/2023/1102 | en_US |
dc.title | Security for Electronic Voting Systems | en_US |
dc.type | Doctoral thesis | en_US |
dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410 | en_US |