Andreas Hülsing

Mikhail A. Kudinov

Christian Majenz

IACR Cryptol. ePrint Arch., 2025

CAKE requires programming - On the provable post-quantum security of (O)CAKE.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

How Hard Can It Be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Starfighters - on the general applicability of X-Wing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

(Un)breakable Curses - Re-encryption in the Fujisaki-Okamoto Transform.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 2025

A Key-Update Mechanism for the Space Data Link Security Protocol.

[BibT_eX]

[DOI]

Fiona Johanna Weber

Proceedings of the Cryptology and Network Security - 24th International Conference, 2025

2024

Report on evaluation of KpqC Round-2 candidates.

[BibT_eX]

[DOI]

Jolijn Cottaar

Emanuele Di Giandomenico

IACR Cryptol. ePrint Arch., 2024

A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Batch Signatures, Revisited.

[BibT_eX]

[DOI]

Carlos Aguilar Melchor

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

On Round Elimination for Special-Sound Multi-round Identification and the Generality of the Hypercube for MPCitH.

[BibT_eX]

[DOI]

David Joseph

Christian Majenz

Anand Kumar Narayanan

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

Towards Post-quantum Secure PAKE - A Tight Security Proof for OCAKE in the BPR Model.

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security - 23rd International Conference, 2024

A Tight Security Proof for SPHINCS+, Formally Verified.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Report on evaluation of KpqC candidates.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

The security of Kyber's FO-transform.

[BibT_eX]

[DOI]

Manuel Barbosa

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

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

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

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

The Return of the SDitH.

[BibT_eX]

[DOI]

Carlos Aguilar Melchor

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 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

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

SDitH in the QROM.

[BibT_eX]

[DOI]

Carlos Aguilar Melchor

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

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

[BibT_eX]

[DOI]

Matthias Meijers

Pierre-Yves Strub

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Post Quantum Noise.

[BibT_eX]

[DOI]

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

Recovering the Tight Security Proof of SPHINCS+.

[BibT_eX]

[DOI]

Mikhail A. Kudinov

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

Failing Gracefully: Decryption Failures and the Fujisaki-Okamoto Transform.

[BibT_eX]

[DOI]

Kathrin Hövelmanns

Christian Majenz

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Epochal Signatures for Deniable Group Chats.

[BibT_eX]

[DOI]

Florian Weber

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Post-quantum WireGuard.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Verifying Post-Quantum Signatures in 8 kB of RAM.

[BibT_eX]

[DOI]

Ruben Gonzalez

Matthias J. Kannwischer

Proceedings of the Post-Quantum Cryptography - 12th International Workshop, 2021

Tight Adaptive Reprogramming in the QROM.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

Rapidly Verifiable XMSS Signatures.

[BibT_eX]

[DOI]

Joppe W. Bos

Joost Renes

Christine van Vredendaal

IACR Cryptol. ePrint Arch., 2020

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

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

[BibT_eX]

[DOI]

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

Quantum Indistinguishability of Random Sponges.

[BibT_eX]

[DOI]

Jan Czajkowski

Christian Schaffner

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

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

Decisional Second-Preimage Resistance: When Does SPR Imply PRE?

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

2018

XMSS: eXtended Merkle Signature Scheme.

[BibT_eX]

[DOI]

RFC, May, 2018

Post-quantum Security of the Sponge Construction.

[BibT_eX]

[DOI]

Jan Czajkowski

Leon Groot Bruinderink

Christian Schaffner

Dominique Unruh

Proceedings of the Post-Quantum Cryptography - 9th International Conference, 2018

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

[BibT_eX]

[DOI]

Kit Smeets

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

SOFIA: MQ MQ -Based Signatures in the QROM.

[BibT_eX]

[DOI]

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

2017

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

SOFIA: MQ-based signatures in the QROM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

"Oops, I Did It Again" - Security of One-Time Signatures Under Two-Message Attacks.

[BibT_eX]

[DOI]

Leon Groot Bruinderink

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

High-Speed Key Encapsulation from NTRU.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017

2016

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

[BibT_eX]

[DOI]

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

Mitigating Multi-target Attacks in Hash-Based Signatures.

[BibT_eX]

[DOI]

Joost Rijneveld

Fang Song

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

Semantic Security and Indistinguishability in the Quantum World.

[BibT_eX]

[DOI]

Tommaso Gagliardoni

Christian Schaffner

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

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

[BibT_eX]

[DOI]

Leon Groot Bruinderink

Yuval Yarom

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 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

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

[BibT_eX]

[DOI]

Joost Rijneveld

IACR Cryptol. ePrint Arch., 2015

PALPAS - PAsswordLess PAssword Synchronization.

[BibT_eX]

[DOI]

Moritz Horsch

CoRR, 2015

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

[BibT_eX]

[DOI]

Chitchanok Chuengsatiansup

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

Bad Directions in Cryptographic Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 20th Australasian Conference, 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

Zooko Wilcox-O'Hearn

IACR Cryptol. ePrint Arch., 2014

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

[BibT_eX]

[DOI]

Chitchanok Chuengsatiansup

Tung Chou

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

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]

Proceedings of the Selected Areas in Cryptography - SAC 2013, 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

Optimal Parameters for XMSS MT.

[BibT_eX]

[DOI]

Lea Rausch

Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012

Forward Secure Signatures on Smart Cards.

[BibT_eX]

[DOI]

Christoph Busold

Proceedings of the Selected Areas in Cryptography, 19th International Conference, 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