→
Séminaire

La sécurité informatique

→
    du au
    Voir aussi :

    Programme

    Cours
    -

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

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

    Web Security and Untrusted JavaScript

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

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

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

    Security of Voting Systems

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

    Vers le contrôle des flots d'information

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

    Constructive Security Using Information Flow Control

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

    Fiabilité du logiciel

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

    Usable Security Through Isolation

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

    Cryptographie

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

    Quelles garanties nous apporte la cryptographie

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

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

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

    How Cryptosystems are Really Broken

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

    Protocoles

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

    From Byzantine Generals to Hackers

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

    Assurance et modèles formels

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

    Comment prouver la sécurité des protocoles cryptographiques ?

    Véronique Cortier
    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