Kristian Gjøsteen

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 57

Top Topics

Digital Signature

Formal Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Kristian Gjøsteen
Password-authenticated Key Exchange and Applications. IACR Cryptol. ePrint Arch. 2024 (2024)
Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde
Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. CCS (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. CRYPTO (4) (2023)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. IACR Cryptol. ePrint Arch. 2023 (2023)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. ESORICS (3) (2023)
Colin Boyd, Elsie Mestl Fondevik, Kristian Gjøsteen, Lise Millerjord
Hybrid Group Key Exchange with Application to Constrained Networks. ISC (2023)
Mayank Raikwar, Shuang Wu, Kristian Gjøsteen
Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems. NSS (2023)
Elsie Mestl Fondevik, Kristian Gjøsteen
Modeling Noise-Accepting Key Exchange. CBCrypto (2023)
Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. IACR Cryptol. ePrint Arch. 2023 (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. ACISP (2022)
Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde
Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. IACR Cryptol. ePrint Arch. 2022 (2022)
Kristian Gjøsteen, Mayank Raikwar, Shuang Wu
PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument. CT-RSA (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde, Thor Tunge
Lattice-Based Proof of Shuffle and Applications to Electronic Voting. IACR Cryptol. ePrint Arch. 2021 (2021)
Eleanor McMurtry, Xavier Boyen, Chris Culnane, Kristian Gjøsteen, Thomas Haines, Vanessa Teague
Towards Verifiable Remote Voting with Paper Assurance. CoRR (2021)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde, Thor Tunge
Lattice-Based Proof of Shuffle and Applications to Electronic Voting. CT-RSA (2021)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Gareth T. Davies, Herman Galteland, Kristian Gjøsteen, Yao Jiang
Cloud-Assisted Asynchronous Key Transport with Post-Quantum Security. ACISP (2020)
Colin Boyd, Kristian Gjøsteen, Shuang Wu
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. FMBC@CAV (2020)
Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. E-VOTE-ID (2020)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Fast and Secure Updatable Encryption. CRYPTO (1) (2020)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme. NordSec (2020)
Bor de Kock, Kristian Gjøsteen, Mattia Veroni
Practical Isogeny-Based Key-exchange with Optimal Tightness. IACR Cryptol. ePrint Arch. 2020 (2020)
Bor de Kock, Kristian Gjøsteen, Mattia Veroni
Practical Isogeny-Based Key-Exchange with Optimal Tightness. SAC (2020)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness. CRYPTO (3) (2019)
Gareth T. Davies, Herman Galteland, Kristian Gjøsteen, Yao Jiang
Cloud-assisted Asynchronous Key Transport with Post-Quantum Security. IACR Cryptol. ePrint Arch. 2019 (2019)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
RISE and SHINE: Fast and Secure Updatable Encryption. IACR Cryptol. ePrint Arch. 2019 (2019)
Colin Boyd, Kristian Gjøsteen, Clémentine Gritti, Thomas Haines
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. INDOCRYPT (2019)
Herman Galteland, Kristian Gjøsteen
Subliminal channels in post-quantum digital signature schemes. IACR Cryptol. ePrint Arch. 2019 (2019)
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters. IACR Cryptol. ePrint Arch. 2019 (2019)
Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen, Peter Y. A. Ryan
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. CoRR (2019)
Kristian Gjøsteen, Tibor Jager
Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2018 (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Definitions for Plaintext-Existence Hiding in Cloud Storage. ARES (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Offline Assisted Group Key Exchange. IACR Cryptol. ePrint Arch. 2018 (2018)
Christopher Carr, Anamaria Costache, Gareth T. Davies, Kristian Gjøsteen, Martin Strand
Zero-Knowledge Proof of Decryption for FHE Ciphertexts. IACR Cryptol. ePrint Arch. 2018 (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Offline Assisted Group Key Exchange. ISC (2018)
Kristian Gjøsteen, Tibor Jager
Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange. CRYPTO (2) (2018)
Danilo Gligoroski, Kristian Gjøsteen, Katina Kralevska
On the Construction of Quasi-Binary and Quasi-Orthogonal Matrices over Finite Fields. CoRR (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Security Notions for Cloud Storage and Deduplication. ProvSec (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Definitions for Plaintext-Existence Hiding in Cloud Storage. IACR Cryptol. ePrint Arch. 2018 (2018)
Herman Galteland, Kristian Gjøsteen
Adversaries monitoring Tor traffic crossing their jurisdictional border and reconstructing Tor circuits. CoRR (2018)
Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. AsiaCCS (2017)
Kristian Gjøsteen, Martin Strand
A roadmap to fully homomorphic elections: Stronger security, better verifiability. IACR Cryptol. ePrint Arch. 2017 (2017)
Herman Galteland, Kristian Gjøsteen
Malware encryption schemes - rerandomizable ciphertexts encrypted using environmental keys. IACR Cryptol. ePrint Arch. 2017 (2017)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani, Håvard Raddum
Security notions for cloud storage and deduplication. IACR Cryptol. ePrint Arch. 2017 (2017)
Kristian Gjøsteen, Martin Strand
A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability. Financial Cryptography Workshops (2017)
Herman Galteland, Kristian Gjøsteen
Malware, Encryption, and Rerandomization - Everything Is Under Attack. Mycrypt (2016)
Kristian Gjøsteen, Anders Smedstuen Lund
An experiment on the security of the Norwegian electronic voting protocol. Ann. des Télécommunications 71 (7-8) (2016)
Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
Side channels in deduplication: trade-offs between leakage and efficiency. IACR Cryptol. ePrint Arch. 2016 (2016)
Kristian Gjøsteen, Martin Strand
Fully homomorphic encryption must be fat or ugly? IACR Cryptol. ePrint Arch. 2016 (2016)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Using Cryptography to Control Your Data at a Distance. ERCIM News 2016 (106) (2016)
Frederik Armknecht, Colin Boyd, Christopher Carr, Kristian Gjøsteen, Angela Jäschke, Christian A. Reuter, Martin Strand
A Guide to Fully Homomorphic Encryption. IACR Cryptol. ePrint Arch. 2015 (2015)
Kristian Gjøsteen, Anders Smedstuen Lund
The Norwegian Internet Voting Protocol: A new Instantiation. IACR Cryptol. ePrint Arch. 2015 (2015)
James Aspnes, Zoë Diamadi, Aleksandr Yampolskiy, Kristian Gjøsteen, René Peralta
Spreading Alerts Quietly and the Subgroup Escape Problem. J. Cryptol. 28 (4) (2015)
Kristian Gjøsteen
Partially blind password-based signatures using elliptic curves. IACR Cryptol. ePrint Arch. 2013 (2013)
Kristian Gjøsteen
The Norwegian Internet Voting Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Kristian Gjøsteen, George Petrides, Asgeir Steine
Towards Privacy Preserving Mobile Internet Communications - How Close Can We Get? ACISP (2013)
Kristian Gjøsteen
Protocol Variants and Electronic Identification. IACR Cryptol. ePrint Arch. 2013 (2013)
Kristian Gjøsteen
The Norwegian Internet Voting Protocol. VoteID (2011)
Kristian Gjøsteen, Øystein Thuen
Password-Based Signatures. EuroPKI (2011)
Kristian Gjøsteen, George Petrides, Asgeir Steine
A Novel Framework for Protocol Analysis. ProvSec (2011)
Kristian Gjøsteen, George Petrides, Asgeir Steine
A Novel Framework for Protocol Analysis. J. Internet Serv. Inf. Secur. 1 (2/3) (2011)
Kristian Gjøsteen
Analysis of an internet voting protocol. IACR Cryptol. ePrint Arch. 2010 (2010)
Kristian Gjøsteen, Lillian Kråkmo
Round-Optimal Blind Signatures from Waters Signatures. ProvSec (2008)
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
A framework for compositional verification of security protocols. Inf. Comput. 206 (2-4) (2008)
Kristian Gjøsteen
Weaknesses in BankID, a PKI-Substitute Deployed by Norwegian Banks. EuroPKI (2008)
Kristian Gjøsteen
A Latency-Free Election Scheme. CT-RSA (2008)
Daniel R. L. Brown, Kristian Gjøsteen
A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator. CRYPTO (2007)
Kristian Gjøsteen, Lillian Kråkmo
Universally Composable Signcryption. EuroPKI (2007)
Daniel R. L. Brown, Kristian Gjøsteen
A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator. IACR Cryptol. ePrint Arch. 2007 (2007)
Aslak Bakke Buan, Kristian Gjøsteen, Lillian Kråkmo
Universally Composable Blind Signatures in the Plain Model. IACR Cryptol. ePrint Arch. 2006 (2006)
Kristian Gjøsteen
A New Security Proof for Damgård's ElGamal. CT-RSA (2006)
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
A framework for compositional verification of security protocols CoRR (2006)
Kristian Gjøsteen
A Latency-Free Election Scheme. IACR Cryptol. ePrint Arch. 2006 (2006)
Kristian Gjøsteen
Security Notions for Disk Encryption. ESORICS (2005)
James Aspnes, Zoë Diamadi, Kristian Gjøsteen, René Peralta, Aleksandr Yampolskiy
Spreading Alerts Quietly and the Subgroup Escape Problem. ASIACRYPT (2005)
Kristian Gjøsteen
Security notions for disk encryption. IACR Cryptol. ePrint Arch. 2005 (2005)
James Aspnes, Zoë Diamadi, Kristian Gjøsteen, René Peralta, Aleksandr Yampolskiy
Spreading Alerts Quietly and the Subgroup Escape Problem. IACR Cryptol. ePrint Arch. 2005 (2005)
Kristian Gjøsteen
Homomorphic Cryptosystems Based on Subgroup Membership Problems. Mycrypt (2005)
Kristian Gjøsteen
Symmetric Subgroup Membership Problems. Public Key Cryptography (2005)
Kristian Gjøsteen
A new security proof for Damgård's ElGamal. IACR Cryptol. ePrint Arch. 2004 (2004)
Kristian Gjøsteen
Homomorphic public-key systems based on subgroup membership problems. IACR Cryptol. ePrint Arch. 2003 (2003)