16 Mar 2011 → 18 May 2011 Seminar IT security 16 Mar 2011 → 18 May 2011 Share Facebook X (ex-Twitter) Linkedin Copy url
from Wednesday 16 March to Wednesday 18 May 2011 See also: Related LectureMartin Abadi Program Lecture 10:00 - 11:00 Security policies and access control (1) Martin Abadi 16 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 10:00 - 11:00 Seminar 11:00 - 12:00 Web Security and Untrusted JavaScript John Mitchell 16 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Security policies and access control (2) Martin Abadi 23 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 10:00 - 11:00 Seminar 11:00 - 12:00 Security of Voting Systems Ron Rivest 23 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Towards the control of information flows Martin Abadi 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 10:00 - 11:00 Seminar 11:00 - 12:00 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Software reliability Martin Abadi 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2011 10:00 - 11:00 Seminar 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Cryptography Martin Abadi 27 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Apr 2011 10:00 - 11:00 Seminar 11:00 - 12:00 What guarantees does cryptography provide? David Pointcheval 27 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Apr 2011 11:00 - 12:00 Lecture 10:00 - 11:00 " On the Internet, no one knows you're a dog ", twenty years on Martin Abadi 04 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 May 2011 10:00 - 11:00 Seminar 11:00 - 12:00 Not recorded How Cryptosystems are Really Broken Adi Shamir 04 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 May 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Protocols Martin Abadi 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 10:00 - 11:00 Seminar 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 11:00 - 12:00 Lecture 10:00 - 11:00 Insurance and formal models Martin Abadi 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 10:00 - 11:00 Seminar 11:00 - 12:00 How do you prove the security of cryptographic protocols? Véronique Cortier 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 11:00 - 12:00 See also Lecture related to the seminar: IT security Martin Abadi, chair Computer Sciences and Digital Technologies
Lecture 10:00 - 11:00 Security policies and access control (1) Martin Abadi 16 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 10:00 - 11:00
Seminar 11:00 - 12:00 Web Security and Untrusted JavaScript John Mitchell 16 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Security policies and access control (2) Martin Abadi 23 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 10:00 - 11:00
Seminar 11:00 - 12:00 Security of Voting Systems Ron Rivest 23 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Towards the control of information flows Martin Abadi 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 10:00 - 11:00
Seminar 11:00 - 12:00 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Software reliability Martin Abadi 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2011 10:00 - 11:00
Seminar 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Cryptography Martin Abadi 27 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Apr 2011 10:00 - 11:00
Seminar 11:00 - 12:00 What guarantees does cryptography provide? David Pointcheval 27 Apr 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Apr 2011 11:00 - 12:00
Lecture 10:00 - 11:00 " On the Internet, no one knows you're a dog ", twenty years on Martin Abadi 04 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 May 2011 10:00 - 11:00
Seminar 11:00 - 12:00 Not recorded How Cryptosystems are Really Broken Adi Shamir 04 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 May 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Protocols Martin Abadi 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 10:00 - 11:00
Seminar 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 May 2011 11:00 - 12:00
Lecture 10:00 - 11:00 Insurance and formal models Martin Abadi 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 10:00 - 11:00
Seminar 11:00 - 12:00 How do you prove the security of cryptographic protocols? Véronique Cortier 18 May 2011 IT security Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 May 2011 11:00 - 12:00