Kristian GjøsteenView profile
Professor
Kristian Gjøsteen is a Professor at the Department of Mathematical Sciences, Norwegian University of Science and Technology (NTNU). He holds a MSc and PhD from NTNU and is part of the Algebra Group. His research focuses on cryptographic systems, including voting protocols, key exchange mechanisms, cloud security, and formal verification of cryptographic proofs. Gjøsteen has contributed to Norwegian government projects on electronic voting (2009-2013) and electronic identification systems. He served on the Norwegian Government’s Committee on Digital Vulnerabilities (Lysne-utvalget). Research interests include cryptographic voting systems, key exchange protocols (with a focus on forward secrecy and tight security proofs), privacy-preserving technologies in blockchain and cloud environments, and formal methods for verifying security protocols. Notable work includes development of coercion-resistant voting systems, lattice-based cryptographic schemes for voting, and machine-checked proofs of accountability. Publications highlight advancements in secure voting systems, post-quantum cryptography, and protocols for constrained networks. Collaborations span international researchers in cryptography and security. His textbook Practical Mathematical Cryptography (2022) provides foundational insights into applied cryptographic techniques. Professional activities include advising on national cybersecurity initiatives and contributing to the design of secure electronic voting infrastructure. Current projects emphasize privacy-preserving blockchain systems and formal verification of cryptographic protocols.







