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

• 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
• 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)

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

2006

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

2005

• Gjøsteen, Kristian. (2005) Homomorphic Cryptosystems Based on Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
  Academic article
• Gjøsteen, Kristian. (2005) Security Notions for Disk Encryption. Lecture Notes in Computer Science (LNCS)
  Academic article
• Gjøsteen, Kristian. (2005) Symmetric Subgroup Membership Problems. Lecture Notes in Computer Science (LNCS)
  Academic article
• 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)
  Academic article