Kestrel: Finding Post-Quantum Cryptography Inside Compiled Binaries

This tool answers the question: once the post-quantum crypto is deployed, how would anyone actually prove it is there, inside the binary…