Roderick Chapman. Formal Is Fast: Cryptographic Code in the Age of AI (Keynote). In Raghudeep Kannavara, Z. Berkay Celik, Sazzadur Rahaman, Dimitri Van Landuyt, editors, Proceedings of the 2026 ACM Secure Development Conference, SecDev 2026, Montreal, QC, Canada, July 5-6, 2026. pages 1, ACM, 2026. [doi]
Abstract is missing.