→
Séminaire

Sécurité du logiciel : quel rôle pour les langages de programmation ?

→
    du au
    Voir aussi :

    Documents et médias

    Programme

    Sécurité du logiciel : introduction et études de cas
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Flux d'information
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Influence de la qualité des spécifications sur la sécurité logicielle
    Olivier Levillain

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Isolation logicielle
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Differential Privacy: From the Central Model to the Local Model and their Generalization
    Catuscia Palamidessi

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Tempus fugit : attaques par observation du temps
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Verified Implementations for Real-World Cryptographic Protocols
    Karthikeyan Bhargavan

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Typage et sécurité
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Attaques par injection de faute et protections logicielles
    Karine Heydemann

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Compilation et sécurité
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Obfuscation du logiciel : brouiller le code pour protéger les programmes
    Sandrine Blazy

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Calculer sur des données chiffrées ou privées
    Xavier Leroy

    -
    Cours
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Transient Execution Attacks and Defenses
    Frank Piessens

    -
    Séminaire
    Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Sécurité du logiciel : quel rôle pour les langages de programmation ?
    Xavier Leroy, chaire Sciences du logiciel