Kristian Gjøsteen

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