18 May 2011 11:00 - 12:00 Seminar How do you prove the security of cryptographic protocols? Véronique Cortier IT security 18 May 2011 11:00 - 12:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 18 May 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot Open to all 11:00 - 12:00 Skip youtube video player Video URL Documents and media Download support pdf (1.19 MB) Download Abstract pdf (259.96 KB) Download Véronique Cortier's bibliography pdf (47.34 KB) Speaker(s) Véronique Cortier CNRS See also Lecture related to the seminar: IT security Martin Abadi, chair Computer Sciences and Digital Technologies IT security Events Previous event in the series Lecture 10:00 - 11:00 Insurance and formal models Martin Abadi 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 10:00 - 11:00
Lecture 10:00 - 11:00 Insurance and formal models Martin Abadi 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 10:00 - 11:00