Andreas Hülsing

IACR Cryptol. ePrint Arch., 2023

Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Towards post-quantum secure PAKE - A tight security proof for OCAKE in the BPR model.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

The Return of the SDitH.

[BibT_eX]

[DOI]

Carlos Aguilar Melchor

IACR Cryptol. ePrint Arch., 2022

SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.

[BibT_eX]

[DOI]

Matthias Meijers

Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2022

Recovering the tight security proof of SPHINCS+.

[BibT_eX]

[DOI]

Mikhail A. Kudinov

IACR Cryptol. ePrint Arch., 2022

Failing gracefully: Decryption failures and the Fujisaki-Okamoto transform.

[BibT_eX]

[DOI]

Kathrin Hövelmanns

Christian Majenz

IACR Cryptol. ePrint Arch., 2022

Post Quantum Noise.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

2021

Rapidly Verifiable XMSS Signatures.

[BibT_eX]

[DOI]

Joppe W. Bos

Joost Renes

Christine van Vredendaal

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021

Verifying Post-Quantum Signatures in 8 kB of RAM.

[BibT_eX]

[DOI]

Ruben Gonzalez

Matthias J. Kannwischer

IACR Cryptol. ePrint Arch., 2021

2020

Epochal Signatures for Deniable Group Chats.

[BibT_eX]

[DOI]

Florian Weber

IACR Cryptol. ePrint Arch., 2020

Post-quantum WireGuard.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Tight adaptive reprogramming in the QROM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

2019

Quantum Indistinguishability of Random Sponges.

[BibT_eX]

[DOI]

Jan Czajkowski

Christian Schaffner

IACR Cryptol. ePrint Arch., 2019

Tighter proofs of CCA security in the quantum random oracle model.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Decisional second-preimage resistance: When does SPR imply PRE?

[BibT_eX]

[DOI]

Daniel J. Bernstein

IACR Cryptol. ePrint Arch., 2019

Tighter Proofs of CCA Security in the Quantum Random Oracle Model.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

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

2018

XMSS: eXtended Merkle Signature Scheme.

[BibT_eX]

[DOI]

RFC, May, 2018

Forward Secure Signatures on Smart Cards.

[BibT_eX]

[DOI]

Christoph Busold

IACR Cryptol. ePrint Arch., 2018

SOFIA: MQ MQ -Based Signatures in the QROM.

[BibT_eX]

[DOI]

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

2017

High-speed key encapsulation from NTRU.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Optimal Parameters for XMSS^MT.

[BibT_eX]

[DOI]

Lea Rausch

IACR Cryptol. ePrint Arch., 2017

WOTS+ - Shorter Signatures for Hash-Based Signature Schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Rounded Gaussians - Fast and Secure Constant-Time Sampling for Lattice-Based Crypto.

[BibT_eX]

[DOI]

Tanja Lange

Kit Smeets

IACR Cryptol. ePrint Arch., 2017

Post-quantum security of the sponge construction.

[BibT_eX]

[DOI]

Jan Czajkowski

Leon Groot Bruinderink

Christian Schaffner

Dominique Unruh

IACR Cryptol. ePrint Arch., 2017

SOFIA: MQ-based signatures in the QROM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

2016

From 5-pass MQ-based identification to MQ-based signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Flush, Gauss, and Reload - A Cache Attack on the BLISS Lattice-Based Signature Scheme.

[BibT_eX]

[DOI]

Leon Groot Bruinderink

Tanja Lange

Yuval Yarom

IACR Cryptol. ePrint Arch., 2016

"Oops, I did it again" - Security of One-Time Signatures under Two-Message Attacks.

[BibT_eX]

[DOI]

Leon Groot Bruinderink

IACR Cryptol. ePrint Arch., 2016

ARMed SPHINCS - Computing a 41 KB Signature in 16 KB of RAM.

[BibT_eX]

[DOI]

Joost Rijneveld

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

From 5-Pass MQ -Based Identification to MQ -Based Signatures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Mitigating Multi-Target Attacks in Hash-based Signatures.

[BibT_eX]

[DOI]

Joost Rijneveld

Fang Song

IACR Cryptol. ePrint Arch., 2015

ARMed SPHINCS - Computing a 41KB signature in 16KB of RAM.

[BibT_eX]

[DOI]

Joost Rijneveld

IACR Cryptol. ePrint Arch., 2015

Semantic Security and Indistinguishability in the Quantum World.

[BibT_eX]

[DOI]

Tommaso Gagliardoni

Christian Schaffner

IACR Cryptol. ePrint Arch., 2015

Bad directions in cryptographic hash functions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

PALPAS - PAsswordLess PAssword Synchronization.

[BibT_eX]

[DOI]

Moritz Horsch

Chitchanok Chuengsatiansup

CoRR, 2015

How to Manipulate Curve Standards: A White Paper for the Black Hat http: //bada55.cr.yp.to.

[BibT_eX]

[DOI]

Daniel J. Bernstein

Tung Chou

Christine van Vredendaal

Proceedings of the Security Standardisation Research - Second International Conference, 2015

SPHINCS: Practical Stateless Hash-Based Signatures.

[BibT_eX]

[DOI]

Louiza Papachristodoulou

Michael Schneider

Zooko Wilcox-O'Hearn

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 2015

PALPAS - PAssword Less PAssword Synchronization.

[BibT_eX]

[DOI]

Moritz Horsch

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

Developing and testing SCoP - a visual hash scheme.

[BibT_eX]

[DOI]

Inf. Manag. Comput. Secur., 2014

SPHINCS: practical stateless hash-based signatures.

[BibT_eX]

[DOI]

Louiza Papachristodoulou

Chitchanok Chuengsatiansup

Zooko Wilcox-O'Hearn

IACR Cryptol. ePrint Arch., 2014

How to manipulate curve standards: a white paper for the black hat.

[BibT_eX]

[DOI]

Daniel J. Bernstein

Tung Chou

Tanja Lange

Ruben Niederhagen

Christine van Vredendaal

IACR Cryptol. ePrint Arch., 2014

2013

Practical forward secure signatures using minimal security assumptions.

[BibT_eX]

[DOI]

PhD thesis, 2013

On the security of the Winternitz one-time signature scheme.

[BibT_eX]

[DOI]

Int. J. Appl. Cryptogr., 2013

Instantiating Treeless Signature Schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Discrete Ziggurat: A Time-Memory Trade-off for Sampling from a Gaussian Distribution over the Integers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Revocation and Non-repudiation: When the First Destroys the Latter.

[BibT_eX]

[DOI]

Johannes Braun

Franziskus Kiefer

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

Developing and Testing a Visual Hash Scheme.

[BibT_eX]

[DOI]

Proceedings of the European Information Security Multi-Conference (EISMC 2013), 2013

W-OTS+ - Shorter Signatures for Hash-Based Signature Schemes.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2013

2012

How to Avoid the Breakdown of Public Key Infrastructures - Forward Secure Signatures for Certificate Authorities.

[BibT_eX]

[DOI]

Johannes Braun

Martín A. Gagliotti Vigil

Alexander Wiesmaier

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

2011

XMSS - A Practical Forward Secure Signature Scheme based on Minimal Security Assumptions.

[BibT_eX]

[DOI]

Erik Dahmen