Cryptographic migration

Planning, verifying and auditing the move from classical to post-quantum cryptography.

Research

  1. 2026

    Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance

    Muhammad Shaheer Bin Junaid

    arXiv:2608.25122 (external site) doi:10.48550/arXiv.2608.25122 (external site)

Projects

  1. HollowLock

    A local tool that runs real TLS 1.3 handshakes against a domain and reports whether its post-quantum key exchange is enforced, merely available, or absent, with a cryptographic bill of materials and a signed PDF report.

    Python Infrastructure security

  2. Kestrel

    Static detection of ML-KEM and ML-DSA inside stripped, statically linked and obfuscated binaries, by fingerprinting the number-theoretic transform constant tables the algorithms cannot run without.

    Python (standard library only) Cryptographic migration

Books

  1. The Cryptographic Divide

    mshaheerbjunaid.com