16 Mar 2011 11:00am - 12:00pm Seminar Web Security and Untrusted JavaScript John Mitchell IT security 16 Mar 2011 11:00am - 12:00pm Share Facebook LinkedIn Bluesky Threads Copy url Audio-visual RSS
Wednesday 16 March 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot Open to all 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 - 11:00am Martin Abadi Security policies and access control (1) Seminar 16 Mar 2011 11:00am - 12:00pm John Mitchell Web Security and Untrusted JavaScript Lecture 23 Mar 2011 10:00 - 11:00am Martin Abadi Security policies and access control (2) Seminar 23 Mar 2011 11:00am - 12:00pm Ron Rivest Security of Voting Systems Lecture 30 Mar 2011 10:00 - 11:00am Martin Abadi Towards the control of information flows Seminar 30 Mar 2011 11:00am - 12:00pm Andrew Myers Constructive Security Using Information Flow Control Lecture 6 Apr 2011 10:00 - 11:00am Martin Abadi Software reliability Seminar 6 Apr 2011 11:00am - 12:00pm Butler Lampson Usable Security Through Isolation Lecture 27 Apr 2011 10:00 - 11:00am Martin Abadi Cryptography Seminar 27 Apr 2011 11:00am - 12:00pm David Pointcheval What guarantees does cryptography provide? Lecture 4 May 2011 10:00 - 11:00am Martin Abadi " On the Internet, no one knows you're a dog ", twenty years on Seminar 4 May 2011 11:00am - 12:00pm Adi Shamir How Cryptosystems are Really Broken Not recorded Lecture 11 May 2011 10:00 - 11:00am Martin Abadi Protocols Seminar 11 May 2011 11:00am - 12:00pm Leslie Lamport From Byzantine Generals to Hackers Lecture 18 May 2011 10:00 - 11:00am Martin Abadi Insurance and formal models Seminar 18 May 2011 11:00am - 12:00pm 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
Seminar 30 Mar 2011 11:00am - 12:00pm Andrew Myers Constructive Security Using Information Flow Control
Lecture 4 May 2011 10:00 - 11:00am Martin Abadi " On the Internet, no one knows you're a dog ", twenty years on
Seminar 18 May 2011 11:00am - 12:00pm Véronique Cortier How do you prove the security of cryptographic protocols?