→
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
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Web Security and Untrusted JavaScript
    John Mitchell

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Security policies and access control (2)
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Security of Voting Systems
    Ron Rivest

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Towards the control of information flows
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Constructive Security Using Information Flow Control
    Andrew Myers

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Software reliability
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Usable Security Through Isolation
    Butler Lampson

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Cryptography
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    What guarantees does cryptography provide?
    David Pointcheval

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

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

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    How Cryptosystems are Really Broken
    Adi Shamir

    -
    Not recorded
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Protocols
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    From Byzantine Generals to Hackers
    Leslie Lamport

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Insurance and formal models
    Martin Abadi

    -
    Lecture
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

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

    -
    Seminar
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    See also

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