Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2024

Password-authenticated Key Exchange and Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Token-Based Key Exchange - Non-Interactive Key Exchange meets Attribute-Based Encryption.

[BibT_eX]

[DOI]

Elsie Mestl Fondevik

IACR Cryptol. ePrint Arch., 2024

2023

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

[BibT_eX]

[DOI]

Mayank Raikwar

Shuang Wu

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

Hybrid Group Key Exchange with Application to Constrained Networks.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Thomas Haines

Constantin Catalin Dragan

Proceedings of the Electronic Voting: 8th International Joint Conference, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Modeling Noise-Accepting Key Exchange.

[BibT_eX]

[DOI]

Elsie Mestl Fondevik

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

2022

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

[BibT_eX]

[DOI]

Constantin Catalin Dragan

Mayank Raikwar

Shuang Wu

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

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Verifiable Decryption in the Head.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 27th Australasian Conference, 2022

2021

Towards Verifiable Remote Voting with Paper Assurance.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

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

2020

Practical Isogeny-Based Key-Exchange with Optimal Tightness.

[BibT_eX]

[DOI]

Bor de Kock

Mattia Veroni

Proceedings of the Selected Areas in Cryptography - SAC 2020, 2020

Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme.

[BibT_eX]

[DOI]

Thomas Haines

Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020

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

[BibT_eX]

[DOI]

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

Fast and Secure Updatable Encryption.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

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

[BibT_eX]

[DOI]

Colin Boyd

Shuang Wu

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

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

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 25th Australasian Conference, 2020

2019

Subliminal channels in post-quantum digital signature schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

RISE and SHINE: Fast and Secure Updatable Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2019, 2019

Highly Efficient Key Exchange Protocols with Optimal Tightness.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

Zero-Knowledge Proof of Decryption for FHE Ciphertexts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Danilo Gligoroski

Katina Kralevska

CoRR, 2018

Security Notions for Cloud Storage and Deduplication.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, 2018

Offline Assisted Group Key Exchange.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 21st International Conference, 2018

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

[BibT_eX]

[DOI]

Tibor Jager

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

Definitions for Plaintext-Existence Hiding in Cloud Storage.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017

Malware encryption schemes - rerandomizable ciphertexts encrypted using environmental keys.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability.

[BibT_eX]

[DOI]

Martin Strand

Proceedings of the Financial Cryptography and Data Security, 2017

Side Channels in Deduplication: Trade-offs between Leakage and Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Fully homomorphic encryption must be fat or ugly?

[BibT_eX]

[DOI]

Martin Strand

IACR Cryptol. ePrint Arch., 2016

Using Cryptography to Control Your Data at a Distance.

[BibT_eX]

[DOI]

ERCIM News, 2016

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

[BibT_eX]

[DOI]

Anders Smedstuen Lund

Ann. des Télécommunications, 2016

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

[BibT_eX]

[DOI]

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

2015

The Norwegian Internet Voting Protocol: A new Instantiation.

[BibT_eX]

[DOI]

Anders Smedstuen Lund

IACR Cryptol. ePrint Arch., 2015

A Guide to Fully Homomorphic Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

2013

Partially blind password-based signatures using elliptic curves.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Protocol Variants and Electronic Identification.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

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

[BibT_eX]

[DOI]

George Petrides

Asgeir Steine

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

2011

The Norwegian Internet Voting Protocol.

[BibT_eX]

[DOI]

Proceedings of the E-Voting and Identity - Third International Conference, 2011

A Novel Framework for Protocol Analysis.

[BibT_eX]

[DOI]

George Petrides

Asgeir Steine

Proceedings of the Provable Security - 5th International Conference, 2011

Password-Based Signatures.

[BibT_eX]

[DOI]

Øystein Thuen

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

2010

Analysis of an internet voting protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

2008

A framework for compositional verification of security protocols.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Round-Optimal Blind Signatures from Waters Signatures.

[BibT_eX]

[DOI]

Lillian Kråkmo

Proceedings of the Provable Security, Second International Conference, 2008

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

[BibT_eX]

[DOI]

Proceedings of the Public Key Infrastructure, 2008

A Latency-Free Election Scheme.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2008

2007

Universally Composable Signcryption.

[BibT_eX]

[DOI]

Lillian Kråkmo

Proceedings of the Public Key Infrastructure, 2007

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

[BibT_eX]

[DOI]

Daniel R. L. Brown

Proceedings of the Advances in Cryptology, 2007

2006

Universally Composable Blind Signatures in the Plain Model.

[BibT_eX]

[DOI]

Aslak Bakke Buan

Lillian Kråkmo

IACR Cryptol. ePrint Arch., 2006

A New Security Proof for Damgård's ElGamal.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2006

2005

Symmetric Subgroup Membership Problems.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2005

Homomorphic Cryptosystems Based on Subgroup Membership Problems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2005

Security Notions for Disk Encryption.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

Spreading Alerts Quietly and the Subgroup Escape Problem.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2005

2003

Homomorphic public-key systems based on subgroup membership problems.

[BibT_eX]

[DOI]