Morten Rotvold Solberg

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Privacy Preserving

Top Venues

IACR Cryptol. ePrint Arch.

J. Comput. Secur.

Publications

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. IACR Cryptol. ePrint Arch. 2023 (2023)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. ESORICS (3) (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme. NordSec (2020)