10:00 à 11:00
Cours

Fiabilité du logiciel

Martin Abadi
La sécurité informatique
10:00 à 11:00
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    En libre accès, dans la limite des places disponibles
    -

    En raison de problèmes techniques, la traduction commence avec une minute de retard.

    Documents et médias

    Intervenant(s)

    Martin Abadi

    Informaticien, Chercheur à l'Université de Californie à Santa Cruz (UCSC), Professeur invité, Collège de France

    Événements

    Politiques de sécurité et contrôle d'accès (1)
    Martin Abadi

    Cours
    10:00 à 11:00

    Web Security and Untrusted JavaScript
    John Mitchell

    Séminaire
    11:00 à 12:00

    Politiques de sécurité et contrôle d'accès (2)
    Martin Abadi

    Cours
    10:00 à 11:00

    Security of Voting Systems
    Ron Rivest

    Séminaire
    11:00 à 12:00

    Vers le contrôle des flots d'information
    Martin Abadi

    Cours
    10:00 à 11:00

    Constructive Security Using Information Flow Control
    Andrew Myers

    Séminaire
    11:00 à 12:00

    Fiabilité du logiciel
    Martin Abadi

    Cours
    10:00 à 11:00

    Usable Security Through Isolation
    Butler Lampson

    Séminaire
    11:00 à 12:00

    Cryptographie
    Martin Abadi

    Cours
    10:00 à 11:00

    Quelles garanties nous apporte la cryptographie
    David Pointcheval

    Séminaire
    11:00 à 12:00

    « Sur Internet, personne ne sait que vous êtes un chien », vingt…
    Martin Abadi

    Cours
    10:00 à 11:00

    How Cryptosystems are Really Broken
    Adi Shamir

    Séminaire
    11:00 à 12:00
    Non enregistré

    Protocoles
    Martin Abadi

    Cours
    10:00 à 11:00

    From Byzantine Generals to Hackers
    Leslie Lamport

    Séminaire
    11:00 à 12:00

    Assurance et modèles formels
    Martin Abadi

    Cours
    10:00 à 11:00

    Comment prouver la sécurité des protocoles cryptographiques ?
    Véronique Cortier

    Séminaire
    11:00 à 12:00

    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