BCS FACS & CryptoForma Joint Event

Date/Time: Wednesday 15 January 2014, 10.00am - 9.00pm

BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA | Maps

Cost to attend: Free of charge


Joint event between the BCS Formal Aspects of Computing Science specialist group and the EPSRC Network of Excellence CryptoForma, on the application of formal methods to cryptography and security protocols. During the day, it will run as a regular CryptoForma network meeting with attendance open to all interested; in the evening, Cedric Fournet of Microsoft Research, prominent member of the network, will give a talk aiming at a wider formal methods audience about his group's work in formally verified cryptography.

PDF Icon Presentation - Cedric Fournet