Morten Rotvold Solberg

Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg, 2020, IACR Cryptol. ePrint Arch..

Hash Proof Based Encryption Schemes in EasyCrypt

Morten Rotvold Solberg, 2018 .

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Morten Rotvold Solberg, François Dupressoir, E. Estaji, 2022, IACR Cryptol. ePrint Arch..