16 Mar 2011 → 18 mai 2011 Séminaire La sécurité informatique 16 Mar 2011 → 18 mai 2011 Partager Facebook X (ex-Twitter) Linkedin Copier le lien
du Mercredi 16 mars au Mercredi 18 mai 2011 Voir aussi : Cours associéMartin Abadi Programme Cours 10:00 - 11:00 Politiques de sécurité et contrôle d'accès (1) Martin Abadi 16 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Web Security and Untrusted JavaScript John Mitchell 16 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 11:00 - 12:00 Cours 10:00 - 11:00 Politiques de sécurité et contrôle d'accès (2) Martin Abadi 23 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Security of Voting Systems Ron Rivest 23 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 11:00 - 12:00 Cours 10:00 - 11:00 Vers le contrôle des flots d'information Martin Abadi 30 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00 Cours 10:00 - 11:00 Fiabilité du logiciel Martin Abadi 06 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2011 11:00 - 12:00 Cours 10:00 - 11:00 Cryptographie Martin Abadi 27 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Avr 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Quelles garanties nous apporte la cryptographie David Pointcheval 27 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Avr 2011 11:00 - 12:00 Cours 10:00 - 11:00 « Sur Internet, personne ne sait que vous êtes un chien », vingt ans après Martin Abadi 04 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Non enregistré How Cryptosystems are Really Broken Adi Shamir 04 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2011 11:00 - 12:00 Cours 10:00 - 11:00 Protocoles Martin Abadi 11 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 mai 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 mai 2011 11:00 - 12:00 Cours 10:00 - 11:00 Assurance et modèles formels Martin Abadi 18 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 mai 2011 10:00 - 11:00 Séminaire 11:00 - 12:00 Comment prouver la sécurité des protocoles cryptographiques ? Véronique Cortier 18 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 mai 2011 11:00 - 12:00 Voir aussi Cours en relation avec le séminaire : La sécurité informatique Martin Abadi, chaire Informatique et sciences numériques
Cours 10:00 - 11:00 Politiques de sécurité et contrôle d'accès (1) Martin Abadi 16 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Web Security and Untrusted JavaScript John Mitchell 16 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2011 11:00 - 12:00
Cours 10:00 - 11:00 Politiques de sécurité et contrôle d'accès (2) Martin Abadi 23 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Security of Voting Systems Ron Rivest 23 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2011 11:00 - 12:00
Cours 10:00 - 11:00 Vers le contrôle des flots d'information Martin Abadi 30 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Constructive Security Using Information Flow Control Andrew Myers 30 Mar 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2011 11:00 - 12:00
Cours 10:00 - 11:00 Fiabilité du logiciel Martin Abadi 06 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Usable Security Through Isolation Butler Lampson 06 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Avr 2011 11:00 - 12:00
Cours 10:00 - 11:00 Cryptographie Martin Abadi 27 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Avr 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Quelles garanties nous apporte la cryptographie David Pointcheval 27 Avr 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 27 Avr 2011 11:00 - 12:00
Cours 10:00 - 11:00 « Sur Internet, personne ne sait que vous êtes un chien », vingt ans après Martin Abadi 04 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Non enregistré How Cryptosystems are Really Broken Adi Shamir 04 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 mai 2011 11:00 - 12:00
Cours 10:00 - 11:00 Protocoles Martin Abadi 11 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 mai 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 From Byzantine Generals to Hackers Leslie Lamport 11 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 mai 2011 11:00 - 12:00
Cours 10:00 - 11:00 Assurance et modèles formels Martin Abadi 18 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 mai 2011 10:00 - 11:00
Séminaire 11:00 - 12:00 Comment prouver la sécurité des protocoles cryptographiques ? Véronique Cortier 18 mai 2011 La sécurité informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 mai 2011 11:00 - 12:00
