→
Seminar

Software security : what role can programming languages play?

→
    from to
    See also:

    Documents and media

    Program

    Software security : introduction and case studies
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Information flow
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Influence of specification quality on software security
    Olivier Levillain

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Software isolation
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

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

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Tempus fugit : time observation attacks
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Verified Implementations for Real-World Cryptographic Protocols
    Karthikeyan Bhargavan

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Typing and safety
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Fault injection attacks and software protection
    Karine Heydemann

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Compilation and safety
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Software obfuscation : scrambling code to protect programs
    Sandrine Blazy

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Calculate with figures or private data
    Xavier Leroy

    -
    Lecture
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Transient Execution Attacks and Defenses
    Frank Piessens

    -
    Seminar
    Software security : what role can programming languages play?
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Software security : what role can programming languages play?
    Xavier Leroy, chair Software Science