Security for Electronic Voting Systems
Doctoral thesis
Permanent lenke
https://hdl.handle.net/11250/3108263Utgivelsesdato
2023Metadata
Vis full innførselSamlinger
Består av
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/1331Paper 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
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
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