10:00 - 11:00am
Lecture

Insurance and formal models

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

    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 - 11:00am

    Web Security and Untrusted JavaScript
    John Mitchell

    Seminar
    11:00am - 12:00pm

    Security policies and access control (2)
    Martin Abadi

    Lecture
    10:00 - 11:00am

    Security of Voting Systems
    Ron Rivest

    Seminar
    11:00am - 12:00pm

    Towards the control of information flows
    Martin Abadi

    Lecture
    10:00 - 11:00am

    Constructive Security Using Information Flow Control
    Andrew Myers

    Seminar
    11:00am - 12:00pm

    Software reliability
    Martin Abadi

    Lecture
    10:00 - 11:00am

    Usable Security Through Isolation
    Butler Lampson

    Seminar
    11:00am - 12:00pm

    Cryptography
    Martin Abadi

    Lecture
    10:00 - 11:00am

    What guarantees does cryptography provide?
    David Pointcheval

    Seminar
    11:00am - 12:00pm

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

    Lecture
    10:00 - 11:00am

    How Cryptosystems are Really Broken
    Adi Shamir

    Seminar
    11:00am - 12:00pm
    Not recorded

    Protocols
    Martin Abadi

    Lecture
    10:00 - 11:00am

    From Byzantine Generals to Hackers
    Leslie Lamport

    Seminar
    11:00am - 12:00pm

    Insurance and formal models
    Martin Abadi

    Lecture
    10:00 - 11:00am

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

    Seminar
    11:00am - 12:00pm

    See also

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