10:00 to 11:00
Lecture

Software reliability

Martin Abadi
IT security
10:00 to 11:00
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Due to technical problems, the translation starts one minute late.

    Documents and media

    Speaker(s)

    Martin Abadi

    Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France

    Events

    Security policies and access control (1)
    Martin Abadi

    Lecture
    10:00 to 11:00

    Web Security and Untrusted JavaScript
    John Mitchell

    Seminar
    11:00 to 12:00

    Security policies and access control (2)
    Martin Abadi

    Lecture
    10:00 to 11:00

    Security of Voting Systems
    Ron Rivest

    Seminar
    11:00 to 12:00

    Towards the control of information flows
    Martin Abadi

    Lecture
    10:00 to 11:00

    Constructive Security Using Information Flow Control
    Andrew Myers

    Seminar
    11:00 to 12:00

    Software reliability
    Martin Abadi

    Lecture
    10:00 to 11:00

    Usable Security Through Isolation
    Butler Lampson

    Seminar
    11:00 to 12:00

    Cryptography
    Martin Abadi

    Lecture
    10:00 to 11:00

    What guarantees does cryptography provide?
    David Pointcheval

    Seminar
    11:00 to 12:00

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

    Lecture
    10:00 to 11:00

    How Cryptosystems are Really Broken
    Adi Shamir

    Seminar
    11:00 to 12:00
    Not recorded

    Protocols
    Martin Abadi

    Lecture
    10:00 to 11:00

    From Byzantine Generals to Hackers
    Leslie Lamport

    Seminar
    11:00 to 12:00

    Insurance and formal models
    Martin Abadi

    Lecture
    10:00 to 11:00

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

    Seminar
    11:00 to 12:00

    See also

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