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

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