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.;
Rønne, Peter B.;
Solberg, Morten Rotvold.
(2022)
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
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).
volum 12556.
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).
volum 12556.
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.;
Rønne, Peter B.;
Solberg, Morten Rotvold.
(2022)
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Academic chapter/article/Conference paper