Quantum Cryptography and Autoformalization in Lean

Maor Ben Shahar, Jonathan Morag, Dirk Englund +1

Quantum key distribution provides secure communication by relying on physics principles and mathematical reasoning. Security proofs across the field can contain gaps, often between…