Michael Meyer 0001

dblp:80/3863-1 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
8since 2021 · last 2025
0009-0000-2972-7324ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 10 · 2 first-author · 8 since 2021
YearPublicationVenuePosition
2025 Exclusive Ownership of Fiat-Shamir Signatures: ML-DSA, SQIsign, LESS, and More
Michael Meyer 0001, Patrick Struck, Maximiliane Weishäupl
CRYPTO (6)1
2024 Efficient Post-Quantum Secure Deterministic Threshold Wallets from Isogenies
abstract
Cryptocurrency networks crucially rely on digital signature schemes, which are used as an authentication mechanism for transactions. Unfortunately, most major cryptocurrencies today, including Bit-coin and Ethereum, employ signature schemes that are susceptible to quantum adversaries, i.e., an adversary with access to a quantum computer can forge signatures and thereby spend coins of honest users. In cryptocurrency networks, signature schemes are typically not executed in isolation, but within a so-called cryptographic wallet. In order to achieve security against quantum adversaries, the signature scheme and the cryptographic wallet must withstand quantum attacks.
Poulami Das 0003, Andreas Erwig, Michael Meyer 0001, Patrick Struck
AsiaCCS3
2024 AprèsSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing
Maria Corte-Real Santos, Jonathan Komada Eriksen, Michael Meyer 0001, Krijn Reijnders
EUROCRYPT (1)3
2024 Hash Your Keys Before Signing - BUFF Security of the Additional NIST PQC Signatures
Thomas Aulbach, Samed Düzlü, Michael Meyer 0001, Patrick Struck, Maximiliane Weishäupl
PQCrypto (2)3
2023 Cryptographic Smooth Neighbors
Giacomo Bruno, Maria Corte-Real Santos, Craig Costello, Jonathan Komada Eriksen, Michael Meyer 0001, Michael Naehrig, Bruno Sterner
ASIACRYPT (7)5
2023 Disorientation Faults in CSIDH
Gustavo Banegas, Juliane Krämer, Tanja Lange 0001, Michael Meyer 0001, Lorenz Panny, Krijn Reijnders, Jana Sotáková, Monika Trimoska
EUROCRYPT (5)4
2022 Patient Zero & Patient Six: Zero-Value and Correlation Attacks on CSIDH and SIKE
Fabio Campos, Michael Meyer 0001, Krijn Reijnders, Marc Stöttinger
SAC2
2021 Sieving for Twin Smooth Integers with Solutions to the Prouhet-Tarry-Escott Problem
Craig Costello, Michael Meyer 0001, Michael Naehrig
EUROCRYPT (1)2
2020 Trouble at the CSIDH: Protecting CSIDH with Dummy-Operations Against Fault Injection Attacks
abstract
The isogeny-based scheme CSIDH is a promising candidate for quantum-resistant static-static key exchanges with very small public keys, but is inherently difficult to implement in constant time. In the current literature, there are two directions for constant-time implementations: algorithms containing dummy computations and dummy-free algorithms. While the dummy-free implementations come with a 2x slowdown, they offer by design more resistance against fault attacks. In this work, we evaluate how practical fault injection attacks are on the constant-time implementations containing dummy calculations. We present three different fault attacker models. We evaluate our fault models both in simulations and in practical attacks. We then present novel countermeasures to protect the dummy isogeny computations against fault injections. The implemented countermeasures result in an overhead of 7% on the Cortex-M4 target, falling well short of the 2x slowdown for dummy-less variants.
Fabio Campos, Matthias J. Kannwischer, Michael Meyer 0001, Hiroshi Onuki, Marc Stöttinger
FDTC3
2019 On Lions and Elligators: An Efficient Constant-Time Implementation of CSIDH
Michael Meyer 0001, Fabio Campos, Steffen Reith
PQCrypto1