→
Lecture

IT security

→
    from to
    See also:

    In this cycle of lectures at the Collège de France, I'll be focusing on general security models, the corresponding protection techniques and mechanisms, and their guarantees, limitations and shortcomings. In this way, I hope to provide an insight into the aims of computer security, its fundamental tools, and its practical and scientific difficulties.

    Documents and media

    Program

    Security policies and access control (1)
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Web Security and Untrusted JavaScript
    John Mitchell

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Security policies and access control (2)
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Security of Voting Systems
    Ron Rivest

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Towards the control of information flows
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Constructive Security Using Information Flow Control
    Andrew Myers

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Software reliability
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Usable Security Through Isolation
    Butler Lampson

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Cryptography
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    What guarantees does cryptography provide?
    David Pointcheval

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    " On the Internet, no one knows you're a dog ", twenty years on
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    How Cryptosystems are Really Broken
    Adi Shamir

    -
    Not recorded
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Protocols
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    From Byzantine Generals to Hackers
    Leslie Lamport

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Insurance and formal models
    Martin Abadi

    -
    Lecture
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    How do you prove the security of cryptographic protocols?
    Véronique Cortier

    -
    Seminar
    IT security
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    See also

    Seminar related to the lecture: IT security
    Martin Abadi, chair Computer Sciences and Digital Technologies