11:00 à 12:00
Séminaire

Comment prouver la sécurité des protocoles cryptographiques ?

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

    Documents et médias

    Intervenant(s)

    Véronique Cortier

    CNRS

    Événements

    Cours
    10:00 à 11:00
    Martin Abadi

    Politiques de sécurité et contrôle d'accès (1)
    Séminaire
    11:00 à 12:00
    John Mitchell

    Web Security and Untrusted JavaScript
    Cours
    10:00 à 11:00
    Martin Abadi

    Politiques de sécurité et contrôle d'accès (2)
    Séminaire
    11:00 à 12:00
    Ron Rivest

    Security of Voting Systems
    Cours
    10:00 à 11:00
    Martin Abadi

    Vers le contrôle des flots d'information
    Séminaire
    11:00 à 12:00
    Andrew Myers

    Constructive Security Using Information Flow Control
    Cours
    10:00 à 11:00
    Martin Abadi

    Fiabilité du logiciel
    Séminaire
    11:00 à 12:00
    Butler Lampson

    Usable Security Through Isolation
    Cours
    10:00 à 11:00
    Martin Abadi

    Cryptographie
    Séminaire
    11:00 à 12:00
    David Pointcheval

    Quelles garanties nous apporte la cryptographie
    Cours
    10:00 à 11:00
    Martin Abadi

    « Sur Internet, personne ne sait que vous êtes un chien », vingt…
    Séminaire
    11:00 à 12:00
    Adi Shamir

    How Cryptosystems are Really Broken

    Non enregistré
    Cours
    10:00 à 11:00
    Martin Abadi

    Protocoles
    Séminaire
    11:00 à 12:00
    Leslie Lamport

    From Byzantine Generals to Hackers
    Cours
    10:00 à 11:00
    Martin Abadi

    Assurance et modèles formels
    Séminaire
    11:00 à 12:00
    Véronique Cortier

    Comment prouver la sécurité des protocoles cryptographiques ?

    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