Our Senior Researcher Manual Barbosa will be speaking at the European Conference on PQC Migration in The Hague, Netherlands on the 2-3 December and will be speaking on – “Formal verification of low-level cryptographic code using EasyCrypt and Jasmin: connecting provable secure abstractions to implementations”.
For more about the event and the full agenda, visit the website.