Friday seminar: Quantum Error Correction from a Classical-Friendly World-View

01.12.2023
, 11:30 am

Trial lecture: Authenticated Key Exchange

17.10.2023

Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

Martin Brain, Carlos Cid, Rachel Player and Wrenna Robson. “Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation”. Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science, vol 13839. Springer, Cham. https://doi.org/10.1007/978-3-031-29689-5_2

keyboard_arrow_up