Wednesday 16 March 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot Open to all, subject to availability 11:00 - 12:00 Skip youtube video player Documents and media Download support pdf (770.48 KB) Download Abstract pdf (50.1 KB) Download John Mitchell's biography pdf (47.6 KB) Speaker(s) John Mitchell Stanford Events Previous Lecture 16 Mar 2011 10:00 to 11:00 Martin Abadi Security policies and access control (1) Seminar 16 Mar 2011 11:00 to 12:00 John Mitchell Web Security and Untrusted JavaScript Lecture 23 Mar 2011 10:00 to 11:00 Martin Abadi Security policies and access control (2) Seminar 23 Mar 2011 11:00 to 12:00 Ron Rivest Security of Voting Systems Lecture 30 Mar 2011 10:00 to 11:00 Martin Abadi Towards the control of information flows Seminar 30 Mar 2011 11:00 to 12:00 Andrew Myers Constructive Security Using Information Flow Control Lecture 6 Apr 2011 10:00 to 11:00 Martin Abadi Software reliability Seminar 6 Apr 2011 11:00 to 12:00 Butler Lampson Usable Security Through Isolation Lecture 27 Apr 2011 10:00 to 11:00 Martin Abadi Cryptography Seminar 27 Apr 2011 11:00 to 12:00 David Pointcheval What guarantees does cryptography provide? Lecture 4 May 2011 10:00 to 11:00 Martin Abadi " On the Internet, no one knows you're a dog ", twenty years on Seminar 4 May 2011 11:00 to 12:00 Adi Shamir How Cryptosystems are Really Broken Not recorded Lecture 11 May 2011 10:00 to 11:00 Martin Abadi Protocols Seminar 11 May 2011 11:00 to 12:00 Leslie Lamport From Byzantine Generals to Hackers Lecture 18 May 2011 10:00 to 11:00 Martin Abadi Insurance and formal models Seminar 18 May 2011 11:00 to 12:00 Véronique Cortier How do you prove the security of cryptographic protocols? Next See also Lecture related to the seminar: IT security Martin Abadi, chair Computer Sciences and Digital Technologies IT security
