Mercredi 30 mars 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:00 - 11:00 Sauter le player vidéo Youtube Documents et médias Télécharger le support pdf (1.08 Mo) Intervenant(s) Martin Abadi Informaticien, Chercheur à l'Université de Californie à Santa Cruz (UCSC), Professeur invité, Collège de France Événements Précédent Cours 16 Mar 2011 10:00 à 11:00 Martin Abadi Politiques de sécurité et contrôle d'accès (1) Séminaire 16 Mar 2011 11:00 à 12:00 John Mitchell Web Security and Untrusted JavaScript Cours 23 Mar 2011 10:00 à 11:00 Martin Abadi Politiques de sécurité et contrôle d'accès (2) Séminaire 23 Mar 2011 11:00 à 12:00 Ron Rivest Security of Voting Systems Cours 30 Mar 2011 10:00 à 11:00 Martin Abadi Vers le contrôle des flots d'information Séminaire 30 Mar 2011 11:00 à 12:00 Andrew Myers Constructive Security Using Information Flow Control Cours 06 Avr 2011 10:00 à 11:00 Martin Abadi Fiabilité du logiciel Séminaire 06 Avr 2011 11:00 à 12:00 Butler Lampson Usable Security Through Isolation Cours 27 Avr 2011 10:00 à 11:00 Martin Abadi Cryptographie Séminaire 27 Avr 2011 11:00 à 12:00 David Pointcheval Quelles garanties nous apporte la cryptographie Cours 04 Mai 2011 10:00 à 11:00 Martin Abadi « Sur Internet, personne ne sait que vous êtes un chien », vingt… Séminaire 04 Mai 2011 11:00 à 12:00 Adi Shamir How Cryptosystems are Really Broken Non enregistré Cours 11 Mai 2011 10:00 à 11:00 Martin Abadi Protocoles Séminaire 11 Mai 2011 11:00 à 12:00 Leslie Lamport From Byzantine Generals to Hackers Cours 18 Mai 2011 10:00 à 11:00 Martin Abadi Assurance et modèles formels Séminaire 18 Mai 2011 11:00 à 12:00 Véronique Cortier Comment prouver la sécurité des protocoles cryptographiques ? Suivant Voir aussi Séminaire en relation avec le cours : La sécurité informatique Martin Abadi, chaire Informatique et sciences numériques La sécurité informatique
