Section: Dissemination
Invited Talks
Workshop on Computed-Aided Security, Grenoble, France, January: Bruno Blanchet
ETAPS unifying invited speaker, Tallinn, Estonia March: Bruno Blanchet
Workshop on Formal and Computational Cryptographic Proofs, Cambridge, UK (April): Bruno Blanchet
Alan Turing Year workshop: Is Cryptographic Theory Practically Relevant?, Cambridge, 31 January - 2 February: Graham Steel