→
Séminaire

La sécurité informatique

→
    du au
    Voir aussi :

    Programme

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

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Web Security and Untrusted JavaScript
    John Mitchell

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

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

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Security of Voting Systems
    Ron Rivest

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

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

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Constructive Security Using Information Flow Control
    Andrew Myers

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Fiabilité du logiciel
    Martin Abadi

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Usable Security Through Isolation
    Butler Lampson

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Cryptographie
    Martin Abadi

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Quelles garanties nous apporte la cryptographie
    David Pointcheval

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    « Sur Internet, personne ne sait que vous êtes un chien », vingt ans après
    Martin Abadi

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    How Cryptosystems are Really Broken
    Adi Shamir

    -
    Non enregistré
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Protocoles
    Martin Abadi

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    From Byzantine Generals to Hackers
    Leslie Lamport

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Assurance et modèles formels
    Martin Abadi

    -
    Cours
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

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

    -
    Séminaire
    La sécurité informatique
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : La sécurité informatique
    Martin Abadi, chaire Informatique et sciences numériques