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 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 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 Events Previous Lecture 16 Mar 2011 10:00 - 11:00 Martin Abadi Security policies and access control (1) Seminar 16 Mar 2011 11:00 - 12:00 John Mitchell Web Security and Untrusted JavaScript Lecture 23 Mar 2011 10:00 - 11:00 Martin Abadi Security policies and access control (2) Seminar 23 Mar 2011 11:00 - 12:00 Ron Rivest Security of Voting Systems Lecture 30 Mar 2011 10:00 - 11:00 Martin Abadi Towards the control of information flows Seminar 30 Mar 2011 11:00 - 12:00 Andrew Myers Constructive Security Using Information Flow Control Lecture 6 Apr 2011 10:00 - 11:00 Martin Abadi Software reliability Seminar 6 Apr 2011 11:00 - 12:00 Butler Lampson Usable Security Through Isolation Lecture 27 Apr 2011 10:00 - 11:00 Martin Abadi Cryptography Seminar 27 Apr 2011 11:00 - 12:00 David Pointcheval What guarantees does cryptography provide? Lecture 4 May 2011 10:00 - 11:00 Martin Abadi " On the Internet, no one knows you're a dog ", twenty years on Seminar 4 May 2011 11:00 - 12:00 Adi Shamir How Cryptosystems are Really Broken Not recorded Lecture 11 May 2011 10:00 - 11:00 Martin Abadi Protocols Seminar 11 May 2011 11:00 - 12:00 Leslie Lamport From Byzantine Generals to Hackers Lecture 18 May 2011 10:00 - 11:00 Martin Abadi Insurance and formal models Seminar 18 May 2011 11:00 - 12:00 Véronique Cortier How do you prove the security of cryptographic protocols? Next See also Seminar related to the lecture: IT security Martin Abadi, chair Computer Sciences and Digital Technologies IT security
Martin Abadi Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France
Lecture 4 May 2011 10:00 - 11:00 Martin Abadi " On the Internet, no one knows you're a dog ", twenty years on
Seminar 18 May 2011 11:00 - 12:00 Véronique Cortier How do you prove the security of cryptographic protocols?
