Friday seminar: Decoding and constructions of codes in rank and Hamming metric

03.02.2023
, 1:00 pm

Friday seminar: The foundations of PAC learning

27.01.2023
, 1:00 pm

Friday seminar: Lightweight, Realtime Solutions to the Privacy and Security Issues in the Internet of Vehicles (IoV)

16.12.2022
, 1:00 pm
All events

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 – 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers. Springer.