Morten Rotvold Solberg
Publications
2022
-
Drăgan, Constantin Cătălin;
Dupressoir, François;
Estaji, Ehsan;
Gjøsteen, Kristian;
Haines, Thomas;
Ryan, Peter Y. A..
(2022)
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
IEEE Press
Academic chapter/article/Conference paper
2021
-
Gjøsteen, Kristian;
Haines, Thomas Edmund;
Solberg, Morten Rotvold.
(2021)
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme.
Lecture Notes in Computer Science (LNCS)
Academic article
Journal publications
-
Gjøsteen, Kristian;
Haines, Thomas Edmund;
Solberg, Morten Rotvold.
(2021)
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme.
Lecture Notes in Computer Science (LNCS)
Academic article
Part of book/report
-
Drăgan, Constantin Cătălin;
Dupressoir, François;
Estaji, Ehsan;
Gjøsteen, Kristian;
Haines, Thomas;
Ryan, Peter Y. A..
(2022)
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
IEEE Press
Academic chapter/article/Conference paper