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
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.