Wednesday 4 May 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot Open to all, subject to availability 11:00 - 12:00 Documents and media Download Abstract pdf (181.58 KB) Download Adi Shamir's biography pdf (48.64 KB) Speaker(s) Adi Shamir Weizmann Institute 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
