Kristian Gjøsteen

According to our database, Kristian Gjøsteen authored at least 62 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Depth Optimized Circuits for Lattice Based Voting with Large Candidate Sets.

Oskar Goldhahn, Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2024

Password-authenticated Key Exchange and Applications.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2024

2023

Machine-checked proofs of privacy against malicious boards for Selene & Co.

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg

J. Comput. Secur., 2023

Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study.

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

IACR Cryptol. ePrint Arch., 2023

On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation.

Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager

IACR Cryptol. ePrint Arch., 2023

Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems.

Mayank Raikwar, Shuang Wu, Kristian Gjøsteen

Proceedings of the Network and System Security - 17th International Conference, 2023

Hybrid Group Key Exchange with Application to Constrained Networks.

Colin Boyd, Elsie Mestl Fondevik, Kristian Gjøsteen, Lise Millerjord

Proceedings of the Information Security - 26th International Conference, 2023

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg

Proceedings of the Computer Security - ESORICS 2023, 2023

Modeling Noise-Accepting Key Exchange.

Elsie Mestl Fondevik, Kristian Gjøsteen

Proceedings of the Code-Based Cryptography - 11th International Workshop, 2023

2022

Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions.

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde

IACR Cryptol. ePrint Arch., 2022

PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.

Kristian Gjøsteen, Mayank Raikwar, Shuang Wu

Proceedings of the Topics in Cryptology - CT-RSA 2022, 2022

2021

Verifiable Decryption in the Head.

Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde

IACR Cryptol. ePrint Arch., 2021

Lattice-Based Proof of Shuffle and Applications to Electronic Voting.

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde, Thor Tunge

IACR Cryptol. ePrint Arch., 2021

Towards Verifiable Remote Voting with Paper Assurance.

Eleanor McMurtry, Xavier Boyen, Chris Culnane, Kristian Gjøsteen, Thomas Haines, Vanessa Teague

CoRR, 2021

2020

Practical Isogeny-Based Key-exchange with Optimal Tightness.

Bor de Kock, Kristian Gjøsteen, Mattia Veroni

IACR Cryptol. ePrint Arch., 2020

Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme.

Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg

IACR Cryptol. ePrint Arch., 2020

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting.

Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

Fast and Secure Updatable Encryption.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.

Colin Boyd, Kristian Gjøsteen, Shuang Wu

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

Subliminal channels in post-quantum digital signature schemes.

Herman Galteland, Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2019

Cloud-assisted Asynchronous Key Transport with Post-Quantum Security.

Gareth T. Davies, Herman Galteland, Kristian Gjøsteen, Yao Jiang

IACR Cryptol. ePrint Arch., 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters.

Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager

IACR Cryptol. ePrint Arch., 2019

RISE and SHINE: Fast and Secure Updatable Encryption.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang

IACR Cryptol. ePrint Arch., 2019

Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme.

Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen, Peter Y. A. Ryan

CoRR, 2019

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.

Colin Boyd, Kristian Gjøsteen, Clémentine Gritti, Thomas Haines

Proceedings of the Progress in Cryptology - INDOCRYPT 2019, 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness.

Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange.

Kristian Gjøsteen, Tibor Jager

IACR Cryptol. ePrint Arch., 2018

Zero-Knowledge Proof of Decryption for FHE Ciphertexts.

Christopher Carr, Anamaria Costache, Gareth T. Davies, Kristian Gjøsteen, Martin Strand

IACR Cryptol. ePrint Arch., 2018

Definitions for Plaintext-Existence Hiding in Cloud Storage.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani

IACR Cryptol. ePrint Arch., 2018

Offline Assisted Group Key Exchange.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang

IACR Cryptol. ePrint Arch., 2018

Adversaries monitoring Tor traffic crossing their jurisdictional border and reconstructing Tor circuits.

Herman Galteland, Kristian Gjøsteen

CoRR, 2018

On the Construction of Quasi-Binary and Quasi-Orthogonal Matrices over Finite Fields.

Danilo Gligoroski, Kristian Gjøsteen, Katina Kralevska

CoRR, 2018

2017

A roadmap to fully homomorphic elections: Stronger security, better verifiability.

Kristian Gjøsteen, Martin Strand

IACR Cryptol. ePrint Arch., 2017

Malware encryption schemes - rerandomizable ciphertexts encrypted using environmental keys.

Herman Galteland, Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2017

Security notions for cloud storage and deduplication.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani, Håvard Raddum

IACR Cryptol. ePrint Arch., 2017

2016

Fully homomorphic encryption must be fat or ugly?

Kristian Gjøsteen, Martin Strand

IACR Cryptol. ePrint Arch., 2016

Side channels in deduplication: trade-offs between leakage and efficiency.

Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani

IACR Cryptol. ePrint Arch., 2016

Using Cryptography to Control Your Data at a Distance.

Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani

ERCIM News, 2016

An experiment on the security of the Norwegian electronic voting protocol.

Kristian Gjøsteen, Anders Smedstuen Lund

Ann. des Télécommunications, 2016

Malware, Encryption, and Rerandomization - Everything Is Under Attack.

Herman Galteland, Kristian Gjøsteen

Proceedings of the Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology, 2016

2015

Spreading Alerts Quietly and the Subgroup Escape Problem.

James Aspnes, Zoë Diamadi, Aleksandr Yampolskiy, Kristian Gjøsteen, René Peralta

J. Cryptol., 2015

The Norwegian Internet Voting Protocol: A new Instantiation.

Kristian Gjøsteen, Anders Smedstuen Lund

IACR Cryptol. ePrint Arch., 2015

A Guide to Fully Homomorphic Encryption.

Frederik Armknecht, Colin Boyd, Christopher Carr, Kristian Gjøsteen, Angela Jäschke, Christian A. Reuter, Martin Strand

IACR Cryptol. ePrint Arch., 2015

2013

The Norwegian Internet Voting Protocol.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2013

Partially blind password-based signatures using elliptic curves.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2013

Protocol Variants and Electronic Identification.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2013

Towards Privacy Preserving Mobile Internet Communications - How Close Can We Get?

Kristian Gjøsteen, George Petrides, Asgeir Steine

Proceedings of the Information Security and Privacy - 18th Australasian Conference, 2013

2011

A Novel Framework for Protocol Analysis.

Kristian Gjøsteen, George Petrides, Asgeir Steine

J. Internet Serv. Inf. Secur., 2011

Password-Based Signatures.

Kristian Gjøsteen, Øystein Thuen

Proceedings of the Public Key Infrastructures, Services and Applications, 2011

2010

Analysis of an internet voting protocol.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2010

2008

A framework for compositional verification of security protocols.

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic

Inf. Comput., 2008

Round-Optimal Blind Signatures from Waters Signatures.

Kristian Gjøsteen, Lillian Kråkmo

Proceedings of the Provable Security, Second International Conference, 2008

Weaknesses in BankID, a PKI-Substitute Deployed by Norwegian Banks.

Kristian Gjøsteen

Proceedings of the Public Key Infrastructure, 2008

2007

A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator.

Daniel R. L. Brown, Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2007

Universally Composable Signcryption.

Kristian Gjøsteen, Lillian Kråkmo

Proceedings of the Public Key Infrastructure, 2007

2006

A Latency-Free Election Scheme.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2006

Universally Composable Blind Signatures in the Plain Model.

Aslak Bakke Buan, Kristian Gjøsteen, Lillian Kråkmo

IACR Cryptol. ePrint Arch., 2006

2005

Security notions for disk encryption.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2005

Symmetric Subgroup Membership Problems.

Kristian Gjøsteen

Proceedings of the Public Key Cryptography, 2005

Homomorphic Cryptosystems Based on Subgroup Membership Problems.

Kristian Gjøsteen

Proceedings of the Progress in Cryptology, 2005

2004

A new security proof for Damgård's ElGamal.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2004

2003

Homomorphic public-key systems based on subgroup membership problems.

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2003