Morten Rotvold Solberg

Universitetslektor
ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet

Resultater Resultater

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

Solberg, Morten Rotvold; Gjøsteen, Kristian; Haines, Thomas; Dragan, Constantin Catalin; Dupressoir, François; Rønne, Peter B.. 2024, Springer. NTNUVitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. 2023, Springer. ANU, NTNUVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Automated theorem provers and their role in cryptography.

Solberg, Morten Rotvold; Gjøsteen, Kristian. 2023, NTNUNettsider (opplysningsmateriale)

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.

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, IEEE Press. LORIA, CNRS, UoS, ANU, NTNU, UoB, UNLORRAINE, UNILUVitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Gjøsteen, Kristian; Haines, Thomas Edmund; Solberg, Morten Rotvold. 2021, Lecture Notes in Computer Science (LNCS). ANU, NTNUVitenskapelig artikkel

1 - 5 av 5