18 May 2011 10:00 - 11:00 Lecture Insurance and formal models Martin Abadi IT security 18 May 2011 10:00 - 11: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 10:00 - 11:00 Skip youtube video player Video URL Documents and media Download support pdf (1.28 MB) Speaker(s) Martin Abadi Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France See also Seminar related to the lecture: IT security Martin Abadi, chair Computer Sciences and Digital Technologies IT security Events Previous event in the series Seminar 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 11:00 - 12:00 Next event in the series Seminar 11:00 - 12:00 How do you prove the security of cryptographic protocols? Véronique Cortier 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 11:00 - 12:00
Martin Abadi Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France
Seminar 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 11:00 - 12:00
Seminar 11:00 - 12:00 How do you prove the security of cryptographic protocols? Véronique Cortier 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 11:00 - 12:00