Kristian Gjøsteen

Thomas Haines

IACR Cryptol. ePrint Arch., 2023

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

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

[BibT_eX]

[DOI]

Mayank Raikwar

Shuang Wu

Constantin Catalin Dragan

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

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

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

Modeling Noise-Accepting Key Exchange.

[BibT_eX]

[DOI]

Elsie Mestl Fondevik

Constantin Catalin Dragan

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

2022

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[DOI]

Mayank Raikwar

Shuang Wu

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

2021

Verifiable Decryption in the Head.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Towards Verifiable Remote Voting with Paper Assurance.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Practical Isogeny-Based Key-exchange with Optimal Tightness.

[BibT_eX]

[DOI]

Bor de Kock

Mattia Veroni

IACR Cryptol. ePrint Arch., 2020

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

[BibT_eX]

[DOI]

Thomas Haines

IACR Cryptol. ePrint Arch., 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

2019

Subliminal channels in post-quantum digital signature schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

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

[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

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

[BibT_eX]

[DOI]

Tibor Jager

IACR Cryptol. ePrint Arch., 2018

Zero-Knowledge Proof of Decryption for FHE Ciphertexts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Definitions for Plaintext-Existence Hiding in Cloud Storage.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Offline Assisted Group Key Exchange.

[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

2017

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

[BibT_eX]

[DOI]

Martin Strand

IACR Cryptol. ePrint Arch., 2017

Malware encryption schemes - rerandomizable ciphertexts encrypted using environmental keys.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Security notions for cloud storage and deduplication.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

2016

Fully homomorphic encryption must be fat or ugly?

[BibT_eX]

[DOI]

Martin Strand

IACR Cryptol. ePrint Arch., 2016

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

[BibT_eX]

[DOI]

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

Spreading Alerts Quietly and the Subgroup Escape Problem.

[BibT_eX]

[DOI]

J. Cryptol., 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

The Norwegian Internet Voting Protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 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

A Novel Framework for Protocol Analysis.

[BibT_eX]

[DOI]

George Petrides

Asgeir Steine

J. Internet Serv. Inf. Secur., 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

2007

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

[BibT_eX]

[DOI]

Daniel R. L. Brown

IACR Cryptol. ePrint Arch., 2007

Universally Composable Signcryption.

[BibT_eX]

[DOI]

Lillian Kråkmo

Proceedings of the Public Key Infrastructure, 2007

2006

A Latency-Free Election Scheme.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Universally Composable Blind Signatures in the Plain Model.

[BibT_eX]

[DOI]

Aslak Bakke Buan

Lillian Kråkmo

IACR Cryptol. ePrint Arch., 2006

2005

Security notions for disk encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 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

2004

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

2003

Homomorphic public-key systems based on subgroup membership problems.

[BibT_eX]

[DOI]