High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

by Security Cryptography Whatever