| 2023 | CCS | Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. | Diego F. Aranha, Carsten Baum, Kristian Gjsteen, Tjerand Silde |
| 2023 | CRYPTO | On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. | Kai Gellert, Kristian Gjsteen, Hkon Jacobsen, Tibor Jager |
| 2023 | ESORICS | Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. | Constantin Catalin Dragan, Franois Dupressoir, Kristian Gjsteen, Thomas Haines, Peter B. Rnne, Morten Rotvold Solberg |
| 2023 | NSS | Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems. | Mayank Raikwar, Shuang Wu, Kristian Gjsteen |
| 2022 | ACISP | Verifiable Decryption in the Head. | Kristian Gjsteen, Thomas Haines, Johannes Mller, Peter B. Rnne, Tjerand Silde |
| 2020 | ACISP | Cloud-Assisted Asynchronous Key Transport with Post-Quantum Security. | Gareth T. Davies, Herman Galteland, Kristian Gjsteen, Yao Jiang |
| 2020 | CAV | A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. | Colin Boyd, Kristian Gjsteen, Shuang Wu |
| 2020 | CRYPTO | Fast and Secure Updatable Encryption. | Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Yao Jiang |
| 2019 | CRYPTO | Highly Efficient Key Exchange Protocols with Optimal Tightness. | Katriel Cohn-Gordon, Cas Cremers, Kristian Gjsteen, Hkon Jacobsen, Tibor Jager |
| 2019 | INDOCRYPT | A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. | Colin Boyd, Kristian Gjsteen, Clmentine Gritti, Thomas Haines |
| 2018 | CRYPTO | Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange. | Kristian Gjsteen, Tibor Jager |
| 2018 | ProvSec | Security Notions for Cloud Storage and Deduplication. | Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Hvard Raddum, Mohsen Toorani |
| 2017 | CCS | Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. | Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Mohsen Toorani |
| 2017 | FC | A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability. | Kristian Gjsteen, Martin Strand |
| 2013 | ACISP | Towards Privacy Preserving Mobile Internet Communications - How Close Can We Get? | Kristian Gjsteen, George Petrides, Asgeir Steine |
| 2011 | ProvSec | A Novel Framework for Protocol Analysis. | Kristian Gjsteen, George Petrides, Asgeir Steine |
| 2008 | ProvSec | Round-Optimal Blind Signatures from Waters Signatures. | Kristian Gjsteen, Lillian Krkmo |
| 2007 | CRYPTO | A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator. | Daniel R. L. Brown, Kristian Gjsteen |
| 2005 | ASIACRYPT | Spreading Alerts Quietly and the Subgroup Escape Problem. | James Aspnes, Zo Diamadi, Kristian Gjsteen, Ren Peralta, Aleksandr Yampolskiy |
| 2005 | ESORICS | Security Notions for Disk Encryption. | Kristian Gjsteen |
| 2005 | PKC | Symmetric Subgroup Membership Problems. | Kristian Gjsteen |