Signal2026-07-16
arXiv

Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256

Part of

Advanced Secure Quantum Protocols

Open primary sourceSee the whole picture