Mercredi 6 avril 2011 Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 11:00 - 12:00 Sauter le player vidéo Youtube Documents et médias Télécharger le support pdf (307.79 Ko) Télécharger le résumé pdf (185.69 Ko) Télécharger la biographie de Butler Lampson pdf (48.03 Ko) Intervenant(s) Butler Lampson Microsoft É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 Cours en relation avec le séminaire : La sécurité informatique Martin Abadi, chaire Informatique et sciences numériques La sécurité informatique
