Andreas Hülsing

Available identifiers

zbMath Open hulsing.andreasMaRDI QIDQ381134

List of research outcomes

Publication	Date of Publication	Type
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium	2024-02-06	Paper
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}	2024-02-06	Paper
The return of the SDitH	2023-12-08	Paper
Recovering the tight security proof of SPHINCS\textsuperscript{+}	2023-08-21	Paper
Failing gracefully: decryption failures and the Fujisaki-Okamoto transform	2023-08-21	Paper
Formal verification of Saber's public-key encryption scheme in easycrypt	2023-06-12	Paper
Tight adaptive reprogramming in the QROM	2023-05-12	Paper
Verifying post-quantum signatures in 8 kB of RAM	2022-03-22	Paper
High-Speed Key Encapsulation from NTRU	2020-06-24	Paper
Decisional second-preimage resistance: when does SPR imply PRE?	2020-05-11	Paper
Tighter proofs of CCA security in the quantum random oracle model	2020-04-30	Paper
Quantum indistinguishability of random sponges	2020-03-09	Paper
Post-quantum security of the sponge construction	2018-06-22	Paper
SOFIA: \(\mathcal{MQ}\)-based signatures in the QROM	2018-05-29	Paper
Rounded Gaussians -- fast and secure constant-time sampling for lattice-based crypto	2018-05-29	Paper
``Oops, I did it again -- security of one-time signatures under two-message attacks	2018-04-26	Paper
Flush, Gauss, and reload -- a cache attack on the BLISS lattice-based signature scheme	2018-02-14	Paper
From 5-Pass $$\mathcal {MQ}$$-Based Identification to $$\mathcal {MQ}$$-Based Signatures	2017-01-06	Paper
Semantic Security and Indistinguishability in the Quantum World	2016-11-09	Paper
Mitigating Multi-target Attacks in Hash-Based Signatures	2016-04-13	Paper
ARMed SPHINCS	2016-04-13	Paper
Forward Secure Signatures on Smart Cards	2015-12-04	Paper
Bad Directions in Cryptographic Hash Functions	2015-10-20	Paper
Discrete Ziggurat: A Time-Memory Trade-Off for Sampling from a Gaussian Distribution over the Integers	2015-10-01	Paper
SPHINCS: Practical Stateless Hash-Based Signatures	2015-09-30	Paper
On the security of the Winternitz one-time signature scheme	2013-11-15	Paper
W-OTS+ – Shorter Signatures for Hash-Based Signature Schemes	2013-06-07	Paper
XMSS - A Practical Forward Secure Signature Scheme Based on Minimal Security Assumptions	2011-11-25	Paper
On the Security of the Winternitz One-Time Signature Scheme	2011-06-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Hülsing