30 Mar 2011 10:00 - 11:00am Lecture Towards the control of information flows Martin Abadi IT security 30 Mar 2011 10:00 - 11:00am Share Facebook LinkedIn Bluesky Threads Copy url Audio-visual RSS
Wednesday 30 March 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.08 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: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 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
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?