Morten Solberg

Morten Solberg

Ph.D. started in: 2019
Expected year of graduation: 2023
COINS consortium member: Norwegian University of Science and Technology
Supervised by: Kristian Gjøsteen, Colin Boyd
Links:
Research area: Cryptography
Project title: Secure, Usable and Robust Cryptographic Voting Systems
Project description: Electronic voting.
In this project we study the security of voting systems and my focus will be on security proofs. By constructing valid proofs regarding the security of a voting system, we can be certain that a system actually is secure (under some hardness assumption).
However, cryptographic security proofs tend to be rather complex and error-prone. To avoid falsely accepting the validity of a security proof, we use certain computer aided proof assistants (such as EasyCrypt) to help verifying our security proofs.

1. Kristian Gjøsteen, Thomas Edmund Haines, Morten Rotvold Solberg (2021). Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme