Technical write-up
Kestrel: Finding Post-Quantum Cryptography Inside Compiled Binaries
How Kestrel identifies ML-KEM and ML-DSA in stripped binaries from the constant tables their arithmetic cannot do without, what a sweep of 6,224 Linux binaries turned up, and where the method stops.
First published elsewhere
The full article is published on Medium. This page keeps a summary and links it to related research and projects.