Interface-First Formal Verification for Hybrid Cryptography: Verified Scaffolding for QKD + Post-Quantum KEM Composition in Lean 4

Cryptography and Data Security Logic programming and type systems Quantum Information and Cryptography