→
Seminar

IT security

→
    from to
    See also:

    Program

    Lecture
    -

    Security policies and access control (1)

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

    Web Security and Untrusted JavaScript

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

    Security policies and access control (2)

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

    Security of Voting Systems

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

    Towards the control of information flows

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

    Constructive Security Using Information Flow Control

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

    Software reliability

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

    Usable Security Through Isolation

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

    Cryptography

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

    What guarantees does cryptography provide?

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

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

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

    How Cryptosystems are Really Broken

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

    Protocols

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

    From Byzantine Generals to Hackers

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

    Insurance and formal models

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

    How do you prove the security of cryptographic protocols?

    Véronique Cortier
    IT security
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: IT security
    Martin Abadi, chair Computer Sciences and Digital Technologies