Andreas Hlsing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
11
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Starfighters-On the General Applicability of X-Wing. | Deirdre Connolly, Kathrin Hvelmanns, Andreas Hlsing, Stavros Kousidis, Matthias Meijers |
| 2025 | ASIACRYPT | How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt. | Franois Dupressoir, Andreas Hlsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner |
| 2025 | ASIACRYPT | Hybrid-Query Bounds with Partial Input Control Framework and Application to Tight M-eTCR. | Andreas Hlsing, Mikhail A. Kudinov, Christian Majenz |
| 2025 | CANS | A Key-Update Mechanism for the Space Data Link Security Protocol. | Andreas Hlsing, Tanja Lange, Fiona Johanna Weber |
| 2025 | EuroCrypt | (Un)breakable Curses - Re-encryption in the Fujisaki-Okamoto Transform. | Kathrin Hvelmanns, Andreas Hlsing, Christian Majenz, Fabrizio Sisinni |
| 2024 | ASIACRYPT | A Tight Security Proof for SPHINCS | Manuel Barbosa, Franois Dupressoir, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2024 | CANS | Towards Post-quantum Secure PAKE - A Tight Security Proof for OCAKE in the BPR Model. | Nouri Alnahawi, Kathrin Hvelmanns, Andreas Hlsing, Silvia Ritsch |
| 2024 | CRYPTO | On Round Elimination for Special-Sound Multi-round Identification and the Generality of the Hypercube for MPCitH. | Andreas Hlsing, David Joseph, Christian Majenz, Anand Kumar Narayanan |
| 2023 | ASIACRYPT | SDitH in the QROM. | Carlos Aguilar Melchor, Andreas Hlsing, David Joseph, Christian Majenz, Eyal Ronen, Dongze Yue |
| 2023 | CRYPTO | Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. | Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grgoire, Yu-Hsuan Huang, Andreas Hlsing, Yi Lee, Xiaodi Wu |
| 2023 | CRYPTO | Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. | Manuel Barbosa, Franois Dupressoir, Benjamin Grgoire, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2023 | EuroCrypt | The Return of the SDitH. | Carlos Aguilar Melchor, Nicolas Gama, James Howe, Andreas Hlsing, David Joseph, Dongze Yue |
| 2023 | SP | SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost. | Andreas Hlsing, Mikhail A. Kudinov, Eyal Ronen, Eylon Yogev |
| 2022 | ASIACRYPT | Failing Gracefully: Decryption Failures and the Fujisaki-Okamoto Transform. | Kathrin Hvelmanns, Andreas Hlsing, Christian Majenz |
| 2022 | ASIACRYPT | Recovering the Tight Security Proof of SPHINCS | Andreas Hlsing, Mikhail A. Kudinov |
| 2022 | CCS | Post Quantum Noise. | Yawning Angel, Benjamin Dowling, Andreas Hlsing, Peter Schwabe, Florian Weber |
| 2022 | CRYPTO | Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt. | Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2021 | ASIACRYPT | Tight Adaptive Reprogramming in the QROM. | Alex B. Grilo, Kathrin Hvelmanns, Andreas Hlsing, Christian Majenz |
| 2021 | PQCrypto | Verifying Post-Quantum Signatures in 8 kB of RAM. | Ruben Gonzalez, Andreas Hlsing, Matthias J. Kannwischer, Juliane Krmer, Tanja Lange, Marc Stttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang |
| 2021 | SP | Post-quantum WireGuard. | Andreas Hlsing, Kai-Chun Ning, Peter Schwabe, Florian Weber, Philip R. Zimmermann |
| 2021 | SP | Epochal Signatures for Deniable Group Chats. | Andreas Hlsing, Florian Weber |
| 2019 | ASIACRYPT | Decisional Second-Preimage Resistance: When Does SPR Imply PRE? | Daniel J. Bernstein, Andreas Hlsing |
| 2019 | CCS | The SPHINCS | Daniel J. Bernstein, Andreas Hlsing, Stefan Klbl, Ruben Niederhagen, Joost Rijneveld, Peter Schwabe |
| 2019 | CRYPTO | Quantum Indistinguishability of Random Sponges. | Jan Czajkowski, Andreas Hlsing, Christian Schaffner |
| 2019 | TCC | Tighter Proofs of CCA Security in the Quantum Random Oracle Model. | Nina Bindel, Mike Hamburg, Kathrin Hvelmanns, Andreas Hlsing, Edoardo Persichetti |
| 2018 | PKC | SOFIA: | Ming-Shing Chen, Andreas Hlsing, Joost Rijneveld, Simona Samardjiska, Peter Schwabe |
| 2018 | PKC | Rounded Gaussians - Fast and Secure Constant-Time Sampling for Lattice-Based Crypto. | Andreas Hlsing, Tanja Lange, Kit Smeets |
| 2018 | PQCrypto | Post-quantum Security of the Sponge Construction. | Jan Czajkowski, Leon Groot Bruinderink, Andreas Hlsing, Christian Schaffner, Dominique Unruh |
| 2017 | CHES | High-Speed Key Encapsulation from NTRU. | Andreas Hlsing, Joost Rijneveld, John M. Schanck, Peter Schwabe |
| 2016 | ASIACRYPT | From 5-Pass | Ming-Shing Chen, Andreas Hlsing, Joost Rijneveld, Simona Samardjiska, Peter Schwabe |
| 2016 | CHES | Flush, Gauss, and Reload - A Cache Attack on the BLISS Lattice-Based Signature Scheme. | Leon Groot Bruinderink, Andreas Hlsing, Tanja Lange, Yuval Yarom |
| 2016 | CRYPTO | Semantic Security and Indistinguishability in the Quantum World. | Tommaso Gagliardoni, Andreas Hlsing, Christian Schaffner |
| 2016 | PKC | Mitigating Multi-target Attacks in Hash-Based Signatures. | Andreas Hlsing, Joost Rijneveld, Fang Song |
| 2016 | PKC | ARMed SPHINCS - Computing a 41 KB Signature in 16 KB of RAM. | Andreas Hlsing, Joost Rijneveld, Peter Schwabe |
| 2015 | ACISP | Bad Directions in Cryptographic Hash Functions. | Daniel J. Bernstein, Andreas Hlsing, Tanja Lange, Ruben Niederhagen |
| 2015 | EuroCrypt | SPHINCS: Practical Stateless Hash-Based Signatures. | Daniel J. Bernstein, Daira Hopwood, Andreas Hlsing, Tanja Lange, Ruben Niederhagen, Louiza Papachristodoulou, Michael Schneider, Peter Schwabe, Zooko Wilcox-O'Hearn |
| 2011 | PQCrypto | XMSS - A Practical Forward Secure Signature Scheme Based on Minimal Security Assumptions. | Johannes Buchmann, Erik Dahmen, Andreas Hlsing |