Morten Rotvold Solberg
Publikasjoner
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
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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)
Vitenskapelig artikkel
Tidsskriftspublikasjoner
-
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)
Vitenskapelig artikkel
Del av bok/rapport
-
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
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel