Kristian Gjøsteen

Om

Kristian Gjøsteen er professor ved Institutt for matematiske fag. Han er utdannet sivilingeniør og har en doktorgrad fra NTNU. Han tilhører Algebragruppen.

Gjøsteen forsker på kryptografiske valgsystemer, nøkkelutveksling, kryptografi for nettskyen, formelle metoder anvendt på sikkerhetsbevis og personvern. Publikasjoner.

Gjøsteen var med i Regjeringens Digitale Sårbarhetsutvalg (Lysne-utvalget). Han har tidligere jobbet med stemmegivning via internett for Regjeringen (2009-13), og elektroniske identiteter i Norge.

Publikasjoner

2025

Nurnberger, Lea Sibylle; Costache, Anamaria; Gjøsteen, Kristian. (2025) Analysis and Optimisation of Fully Homomorphic Encryption. NTNU Norges teknisk-naturvitenskapelige universitet NTNU Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Millerjord, Lise; Boyd, Colin Alexander; Gjøsteen, Kristian; Gligoroski, Danilo; Mjølsnes, Stig Frode. (2025) Key Exchange in a Post Quantum World. Norges teknisk-naturvitenskapelige universitet Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Riisnæs, Rolf; Mahler, Tobias; Gjøsteen, Kristian; Langford, Malcolm; Wærstad, Tone Linn; Omland, Lars Petter Halvorsen. (2025) Når BankID er nede, stopper Norge.
Kronikk

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.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2023

Fondevik, Elsie Margrethe Staff Mestl; Gjøsteen, Kristian. (2023) Modeling Noise-Accepting Key Exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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
Vitenskapelig artikkel
Raikwar, Mayank; Wu, Shuang; Gjøsteen, Kristian. (2023) Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. (2023) Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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)
Vitenskapelig artikkel

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.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian. (2022) Practical Mathematical Cryptography. CRC Press CRC Press
Lærebok
Gjøsteen, Kristian; Raikwar, Mayank; Wu, Shuang. (2022) PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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)
Vitenskapelig artikkel

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
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)
Vitenskapelig artikkel
Kock, Bor de; Gjøsteen, Kristian; Veroni, Mattia. (2021) Practical Isogeny-Based Key-Exchange with Optimal Tightness. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel

2020

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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2020) Fast and Secure Updatable Encryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel

2019

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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel

2018

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)
Vitenskapelig artikkel
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2018) Offline Assisted Group Key Exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Jager, Tibor. (2018) Practical and tightly-secure digital signatures and authenticated key exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Strand, Martin; Gjøsteen, Kristian; Buan, Aslak Bakke. (2018) Fully homomorphic encryption with applications to electronic voting. Norges teknisk-naturvitenskapelige universitet Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2018) Definitions for plaintext-existence hiding in cloud storage.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2017

Armknecht, Frederik; Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Toorani, Mohsen. (2017) Side channels in deduplication: trade-offs between leakage and efficiency.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Galteland, Herman; Gjøsteen, Kristian. (2017) Malware, Encryption, and Rerandomization - Everything is Under Attack. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Strand, Martin. (2017) A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2016

Gjøsteen, Kristian; Lund, Anders Smedstuen. (2016) An experiment on the security of the Norwegian electronic voting protocol. Annales des télécommunications
Vitenskapelig artikkel
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
Vitenskapelig artikkel

2014

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

2012

Gjøsteen, Kristian; Thuen, Øystein Øvreås. (2012) Password-Based Signatures.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2011

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

2010

Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. (2010) Formal verification of reductions in cryptography.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2008

Gjøsteen, Kristian. (2008) A Latency-Free Election Scheme. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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
Vitenskapelig artikkel
Gjøsteen, Kristian. (2008) Weaknesses in BankID, a Norwegian PKI substitute deployed by Norwegian banks. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Kråkmo, Lillian. (2008) Round-Optimal Blind Signatures from Waters Signatures. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel

2007

Gjøsteen, Kristian; Hole, Kjell Jørgen. (2007) Nettbanken ikke trygg.
Kronikk
Gjøsteen, Kristian; Kråkmo, Lillian. (2007) Universally Composable Signcryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel

2006

Gjøsteen, Kristian. (2006) A new security proof for Damgard's ElGamal. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel

2005

Gjøsteen, Kristian. (2005) Homomorphic Cryptosystems Based on Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Aspnes, James; Diamadi, Zoë; Gjøsteen, Kristian; Peralta, René; Yampolskiy, Aleksandr. (2005) Spreading Alerts Quietly and the Subgroup Escape Problem. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2005) Security Notions for Disk Encryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2005) Symmetric Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel

Tidsskriftspublikasjoner

Riisnæs, Rolf; Mahler, Tobias; Gjøsteen, Kristian; Langford, Malcolm; Wærstad, Tone Linn; Omland, Lars Petter Halvorsen. (2025) Når BankID er nede, stopper Norge.
Kronikk
Fondevik, Elsie Margrethe Staff Mestl; Gjøsteen, Kristian. (2023) Modeling Noise-Accepting Key Exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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
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)
Vitenskapelig artikkel
Kock, Bor de; Gjøsteen, Kristian; Veroni, Mattia. (2021) Practical Isogeny-Based Key-Exchange with Optimal Tightness. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2020) Fast and Secure Updatable Encryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Jiang, Yao. (2018) Offline Assisted Group Key Exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Jager, Tibor. (2018) Practical and tightly-secure digital signatures and authenticated key exchange. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Galteland, Herman; Gjøsteen, Kristian. (2017) Malware, Encryption, and Rerandomization - Everything is Under Attack. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Lund, Anders Smedstuen. (2016) An experiment on the security of the Norwegian electronic voting protocol. Annales des télécommunications
Vitenskapelig artikkel
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
Vitenskapelig artikkel
Aspnes, James; Diamadi, Zoë; Yampolskiy, Aleksandr; Gjøsteen, Kristian; Peralta, René. (2014) Spreading Alerts Quietly and the Subgroup Escape Problem. Journal of Cryptology
Vitenskapelig artikkel
Gjøsteen, Kristian; Petrides, George; Steine, Asgeir Bertelsen. (2011) A Novel Framework for Protocol Analysis. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Hole, Kjell Jørgen; Gjøsteen, Kristian; Tjøstheim, Thomas; Nestås, Lars Hopland. (2011) Farene ved e-valg.
Kronikk
Gjøsteen, Kristian. (2008) A Latency-Free Election Scheme. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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
Vitenskapelig artikkel
Gjøsteen, Kristian. (2008) Weaknesses in BankID, a Norwegian PKI substitute deployed by Norwegian banks. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Kråkmo, Lillian. (2008) Round-Optimal Blind Signatures from Waters Signatures. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian; Hole, Kjell Jørgen. (2007) Nettbanken ikke trygg.
Kronikk
Gjøsteen, Kristian; Kråkmo, Lillian. (2007) Universally Composable Signcryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
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)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2006) A new security proof for Damgard's ElGamal. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2005) Homomorphic Cryptosystems Based on Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Aspnes, James; Diamadi, Zoë; Gjøsteen, Kristian; Peralta, René; Yampolskiy, Aleksandr. (2005) Spreading Alerts Quietly and the Subgroup Escape Problem. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2005) Security Notions for Disk Encryption. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
Gjøsteen, Kristian. (2005) Symmetric Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel

Bøker

Gjøsteen, Kristian. (2022) Practical Mathematical Cryptography. CRC Press CRC Press
Lærebok

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.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Raikwar, Mayank; Wu, Shuang; Gjøsteen, Kristian. (2023) Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold. (2023) Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Raikwar, Mayank; Wu, Shuang. (2022) PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2018) Definitions for plaintext-existence hiding in cloud storage.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Armknecht, Frederik; Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Toorani, Mohsen. (2017) Side channels in deduplication: trade-offs between leakage and efficiency.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Strand, Martin. (2017) A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Thuen, Øystein Øvreås. (2012) Password-Based Signatures.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. (2010) Formal verification of reductions in cryptography.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Rapport

Nurnberger, Lea Sibylle; Costache, Anamaria; Gjøsteen, Kristian. (2025) Analysis and Optimisation of Fully Homomorphic Encryption. NTNU Norges teknisk-naturvitenskapelige universitet NTNU Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Millerjord, Lise; Boyd, Colin Alexander; Gjøsteen, Kristian; Gligoroski, Danilo; Mjølsnes, Stig Frode. (2025) Key Exchange in a Post Quantum World. Norges teknisk-naturvitenskapelige universitet Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Strand, Martin; Gjøsteen, Kristian; Buan, Aslak Bakke. (2018) Fully homomorphic encryption with applications to electronic voting. Norges teknisk-naturvitenskapelige universitet Norges teknisk-naturvitenskapelige universitet
Doktorgradsavhandling
Thuen, Øystein Øvreås; Gjøsteen, Kristian. (2011) Bilinear Pairings in Cryptography. NTNU NTNU
Doktorgradsavhandling

Undervisning

Emner

Formidling