Previous Talks

22 February, 2021; Luca Vigano, Title: "X-Men: A Mutation-Based Approach for the Formal Analysis of Security"
22 March, 2021, Erisa Karafili, Title: "Formal Methods Solutions for Cyber-Attacks' Investigations" (postponed)
17 May, 2021; Ioana Boureanu, Title: "Towards verifying knowledge-centred privacy in cryptographic protocols -- I"; slides part 1; all slides ; video
24 May, 2021; Ioana Boureanu, Title: "Towards verifying knowledge-centred privacy in cryptographic protocols -- II"; slides part 2 ; all slides ; video

UK Network for Formal Methods in Security