Kristian Gjøsteen

About

Kristian Gjøsteen is a professor at the Department of Mathematical Sciences. He has a MSc and a PhD from NTNU. He belongs to the Algebra Group.

Gjøsteen's research interests include cryptographic voting systems, key exchange protocols, cloud cryptography, formal methods applied to security proofs and privacy. Publication list.

Gjøsteen was a member of the Norwegian Government’s Committee of Digital Vulnerabilities in Society (Lysne-utvalget). He has worked on electronic voting for the Norwegian government (2009-13), as well as electronic identification in Norway.

Publications

2024

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

2023

Fondevik, Elsie Margrethe Staff Mestl; Gjøsteen, Kristian. (2023) Modeling Noise-Accepting Key Exchange. Lecture Notes in Computer Science (LNCS)
Academic article
Solberg, Morten Rotvold; Gjøsteen, Kristian. (2023) Automated theorem provers and their role in cryptography.
Website (informational material)
Gellert, Kai; Gjøsteen, Kristian; Jacobsen, Håkon; Jager, Tibor. (2023) On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. Lecture Notes in Computer Science (LNCS)
Academic article
Boyd, Colin Alexander; Fondevik, Elsie Margrethe Staff Mestl; Gjøsteen, Kristian; Millerjord, Lise. (2023) Hybrid Group Key Exchange with Application to Constrained Networks. Lecture Notes in Computer Science (LNCS)
Academic article
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
Raikwar, Mayank; Wu, Shuang; Gjøsteen, Kristian. (2023) Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems. Springer
Academic chapter/article/Conference paper
Aranha, Diego F.; Baum, Carsten; Gjøsteen, Kristian; Silde, Tjerand Aga. (2023) Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. Proceedings of the ACM Conference on Computer and Communications Security
Academic article

2022

Gjøsteen, Kristian; Raikwar, Mayank; Wu, Shuang. (2022) PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.
Academic chapter/article/Conference paper
Gjøsteen, Kristian. (2022) Practical Mathematical Cryptography. CRC Press CRC Press
Textbook
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
Gjøsteen, Kristian; Haines, Thomas Edmund; Müller, Johannes; Rønne, Peter B.; Silde, Tjerand. (2022) Verifiable Decryption in the Head. Lecture Notes in Computer Science (LNCS)
Academic article

2021

de Kock, Bor; Gjøsteen, Kristian; Veroni, Mattia. (2021) Practical Isogeny-Based Key-Exchange with Optimal Tightness. Lecture Notes in Computer Science (LNCS)
Academic article
Aranha, Diego F.; Baum, Carsten; Gjøsteen, Kristian; Silde, Tjerand; Tunge, Thor. (2021) Lattice-Based Proof of Shuffle and Applications to Electronic Voting. Lecture Notes in Computer Science (LNCS)
Academic article
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

2020

Davies, Gareth Thomas; Galteland, Herman; Gjøsteen, Kristian; Jiang, Yao. (2020) Cloud-assisted Asynchronous Key Transport with Post-Quantum Security. Lecture Notes in Computer Science (LNCS)
Academic article
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2020) Fast and Secure Updatable Encryption. Lecture Notes in Computer Science (LNCS)
Academic article
Estaji, Ehsan; Haines, Thomas Edmund; Gjøsteen, Kristian; Rønne, Peter; Ryan, Peter Y. A.; Soroush, Najmeh. (2020) Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. Lecture Notes in Computer Science (LNCS)
Academic article
Rønne, Peter B.; Atashpendar, Arash; Gjøsteen, Kristian; Ryan, Peter Y. A.. (2020) Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. Lecture Notes in Computer Science (LNCS)
Academic article

2019

Boyd, Colin Alexander; Gjøsteen, Kristian; Gritti, Clementine Jeanne Pierrette; Haines, Thomas Edmund. (2019) A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. Lecture Notes in Computer Science (LNCS)
Academic article
Cohn-Gordon, Katriel; Cremers, Cas; Gjøsteen, Kristian; Jacobsen, Håkon; Jager, Tibor. (2019) Highly Efficient Key Exchange Protocols with Optimal Tightness. Lecture Notes in Computer Science (LNCS)
Academic article
Cremers, Cas; Gjøsteen, Kristian; Jager, Tibor; Cohn-Gordon, Katriel. (2019) Highly Efficient Key Exchange Protocols with Optimal Tightness. Lecture Notes in Computer Science (LNCS)
Academic article

2018

Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2018) Offline Assisted Group Key Exchange. Lecture Notes in Computer Science (LNCS)
Academic article
Strand, Martin; Gjøsteen, Kristian; Buan, Aslak Bakke. (2018) Fully homomorphic encryption with applications to electronic voting. Doktoravhandlinger ved NTNU (33)
Doctoral dissertation
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2018) Security notions for cloud storage and deduplication. Lecture Notes in Computer Science (LNCS)
Academic article
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2018) Definitions for plaintext-existence hiding in cloud storage. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Gjøsteen, Kristian; Jager, Tibor. (2018) Practical and tightly-secure digital signatures and authenticated key exchange. Lecture Notes in Computer Science (LNCS)
Academic article

2017

Galteland, Herman; Gjøsteen, Kristian. (2017) Malware, Encryption, and Rerandomization - Everything is Under Attack. Lecture Notes in Computer Science (LNCS)
Academic article
Gjøsteen, Kristian; Strand, Martin. (2017) A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability. Springer
Academic chapter/article/Conference paper
Armknecht, Frederik; Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Toorani, Mohsen. (2017) Side channels in deduplication: trade-offs between leakage and efficiency. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper

2016

Boyd, Colin Alexander; Davies, Gareth T.; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2016) Using Cryptography to Control Your Data at a Distance . ERCIM News
Academic article
Gjøsteen, Kristian; Lund, Anders Smedstuen. (2016) An experiment on the security of the Norwegian electronic voting protocol. Annales des télécommunications
Academic article

2014

Aspnes, James; Diamadi, Zoë; Yampolskiy, Aleksandr; Gjøsteen, Kristian; Peralta, René. (2014) Spreading Alerts Quietly and the Subgroup Escape Problem. Journal of Cryptology
Academic article

2012

Gjøsteen, Kristian; Thuen, Øystein Øvreås. (2012) Password-Based Signatures. Springer
Academic chapter/article/Conference paper

2011

Thuen, Øystein Øvreås; Gjøsteen, Kristian. (2011) Bilinear Pairings in Cryptography. Doktoravhandlinger ved NTNU (143)
Doctoral dissertation
Gjøsteen, Kristian; Petrides, George; Steine, Asgeir Bertelsen. (2011) A Novel Framework for Protocol Analysis. Lecture Notes in Computer Science (LNCS)
Academic article
Hole, Kjell Jørgen; Gjøsteen, Kristian; Tjøstheim, Thomas; Nestås, Lars Hopland. (2011) Farene ved e-valg. Dagbladet
Feature article

2010

Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. (2010) Formal verification of reductions in cryptography. Tapir Akademisk Forlag
Academic chapter/article/Conference paper

2008

Gjøsteen, Kristian; Kråkmo, Lillian. (2008) Round-Optimal Blind Signatures from Waters Signatures. Lecture Notes in Computer Science (LNCS)
Academic article
Andova, Suzana; Cremers, Cas; Gjøsteen, Kristian; Mauw, Sjouke; Mjølsnes, Stig Frode; Radomirovic, Sasa. (2008) A framework for compositional verification of security protocols. Information and Computation
Academic article
Gjøsteen, Kristian. (2008) Weaknesses in BankID, a Norwegian PKI substitute deployed by Norwegian banks. Lecture Notes in Computer Science (LNCS)
Academic article
Gjøsteen, Kristian. (2008) A Latency-Free Election Scheme. Lecture Notes in Computer Science (LNCS)
Academic article

2007

Gjøsteen, Kristian; Hole, Kjell Jørgen. (2007) Nettbanken ikke trygg. Aftenposten (morgenutg. : trykt utg.)
Feature article
Brown, Daniel R. L.; Gjøsteen, Kristian. (2007) A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator. Lecture Notes in Computer Science (LNCS)
Academic article
Gjøsteen, Kristian; Kråkmo, Lillian. (2007) Universally Composable Signcryption. Lecture Notes in Computer Science (LNCS)
Academic article

Books

Gjøsteen, Kristian. (2022) Practical Mathematical Cryptography. CRC Press CRC Press
Textbook

Part of book/report

Solberg, Morten Rotvold; Gjøsteen, Kristian; Haines, Thomas; Dragan, Constantin Catalin; Dupressoir, François; Rønne, Peter B.. (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
Raikwar, Mayank; Wu, Shuang; Gjøsteen, Kristian. (2023) Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems. Springer
Academic chapter/article/Conference paper
Gjøsteen, Kristian; Raikwar, Mayank; Wu, Shuang. (2022) PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.
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
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2018) Definitions for plaintext-existence hiding in cloud storage. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Gjøsteen, Kristian; Strand, Martin. (2017) A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability. Springer
Academic chapter/article/Conference paper
Armknecht, Frederik; Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Toorani, Mohsen. (2017) Side channels in deduplication: trade-offs between leakage and efficiency. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Gjøsteen, Kristian; Thuen, Øystein Øvreås. (2012) Password-Based Signatures. Springer
Academic chapter/article/Conference paper
Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. (2010) Formal verification of reductions in cryptography. Tapir Akademisk Forlag
Academic chapter/article/Conference paper

Report

Strand, Martin; Gjøsteen, Kristian; Buan, Aslak Bakke. (2018) Fully homomorphic encryption with applications to electronic voting. Doktoravhandlinger ved NTNU (33)
Doctoral dissertation
Thuen, Øystein Øvreås; Gjøsteen, Kristian. (2011) Bilinear Pairings in Cryptography. Doktoravhandlinger ved NTNU (143)
Doctoral dissertation

INFORMASJONSMATR

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

Teaching

Courses

Knowledge Transfer