Navigasjon

  • Hopp til innhold
NTNU Hjemmeside NTNU Hjemmeside

ntnu.edu

  • Studies
    • Master's programmes in English
    • For exchange students
    • PhD opportunities
    • All programmes of study
    • Courses
    • Financing
    • Language requirements
    • Application process
    • Academic calendar
    • FAQ
  • Research and innovation
    • NTNU research
    • Research excellence
    • Strategic research areas
    • Innovation resources
    • PhD opportunities
  • Life and housing
    • Student in Trondheim
    • Student in Gjøvik
    • Student in Ålesund
    • For researchers
    • Life and housing
  • About NTNU
    • Contact us
    • Faculties and departments
    • Libraries
    • International researcher support
    • Vacancies
    • About NTNU
    • Maps
  1. Employees

Språkvelger

Norsk

Morten Rotvold Solberg

Last ned pressefoto
Last ned pressefoto
Foto:

Morten Rotvold Solberg

Assistant Professor
Department of Mathematical Sciences

mosolb@ntnu.no
Sentralbygg 2, 834, Gløshaugen
Publikasjoner Undervisning

Publikasjoner

  • Kronologisk
  • Etter kategori
  • Se alle publikasjoner i Cristin

2024

  • Dragan, Constantin Catalin; Dupressoir, François; Gjøsteen, Kristian; Haines, Thomas; Rønne, Peter B.; Solberg, Morten Rotvold. (2024) Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. Springer
    Academic chapter/article/Conference paper

2023

  • Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. (2023) Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. Springer
    Academic chapter/article/Conference paper
  • Solberg, Morten Rotvold; Gjøsteen, Kristian. (2023) Automated theorem provers and their role in cryptography.
    Website (informational material)

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

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)
    Academic article

Del av bok/rapport

  • Dragan, Constantin Catalin; Dupressoir, François; Gjøsteen, Kristian; Haines, Thomas; Rønne, Peter B.; Solberg, Morten Rotvold. (2024) Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. Springer
    Academic chapter/article/Conference paper
  • Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. (2023) Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. Springer
    Academic chapter/article/Conference paper
  • 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

INFORMASJONSMATR

  • Solberg, Morten Rotvold; Gjøsteen, Kristian. (2023) Automated theorem provers and their role in cryptography.
    Website (informational material)

Undervisning

Emner

  • IMAT2024 - Mathematics for engineering 2 D
  • IMAT2012 - Mathematics for engineering 2 A
  • IMAT2023 - Mathematics for engineering 2 C
  • IMAT2022 - Mathematics for engineering 2 B
  • TMA4115 - Mathematics 3 - Linear algebra
  • MA0301 - Elementary Discrete Mathematics
  • TMA4110 - Mathematics 3 - Linear algebra

NTNU – Norges teknisk-naturvitenskapelige universitet

  • For ansatte
  • |
  • For studenter
  • |
  • Innsida
  • |
  • Blackboard

Studere

  • Om studier
  • Studieprogram
  • Emner
  • Videreutdanning
  • Karriere

Aktuelt

  • Nyheter
  • Arrangement
  • Jobbe ved NTNU

Om NTNU

  • Om NTNU
  • Bibliotek
  • Strategi
  • Forskning
  • Satsingsområder
  • Innovasjon
  • Organisasjonskart
  • Utdanningskvalitet

Kontakt

  • Kontakt oss
  • Finn ansatte
  • Spør en ekspert
  • Pressekontakter
  • Kart

NTNU i tre byer

  • NTNU i Gjøvik
  • NTNU i Trondheim
  • NTNU i Ålesund

Om nettstedet

  • Bruk av informasjonskapsler
  • Tilgjengelighetserklæring
  • Personvern
  • Ansvarlig redaktør
Facebook Instagram Linkedin Snapchat Tiktok Youtube
Logg inn
NTNU logo