6 Apr 2011 10:00 - 11:00 Lecture Software reliability Martin Abadi IT security 6 Apr 2011 10:00 - 11:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 6 April 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot Open to all 10:00 - 11:00 Skip youtube video player Video URL Due to technical problems, the translation starts one minute late. Documents and media Download support pdf (1.42 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 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00 Next event in the series Seminar 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 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 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00
Seminar 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2011 11:00 - 12:00
