Morten Rotvold Solberg

According to our database, Morten Rotvold Solberg authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Machine-checked proofs of privacy against malicious boards for Selene & Co.

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg

J. Comput. Secur., 2023

Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study.

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

IACR Cryptol. ePrint Arch., 2023

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg

Proceedings of the Computer Security - ESORICS 2023, 2023

2020

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

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

IACR Cryptol. ePrint Arch., 2020