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

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

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

Proceedings of the Electronic Voting: 8th International Joint Conference, 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

2022

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

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020

Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme.

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020