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

od Security Cryptography Whatever