11:00am - 12:00pm
Seminar

Constructive Security Using Information Flow Control

Andrew Myers
IT security
11:00am - 12:00pm
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Andrew Myers

    Cornell

    Events

    Lecture
    10:00 - 11:00am
    Martin Abadi

    Security policies and access control (1)
    Seminar
    11:00am - 12:00pm
    John Mitchell

    Web Security and Untrusted JavaScript
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Security policies and access control (2)
    Seminar
    11:00am - 12:00pm
    Ron Rivest

    Security of Voting Systems
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Towards the control of information flows
    Seminar
    11:00am - 12:00pm
    Andrew Myers

    Constructive Security Using Information Flow Control
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Software reliability
    Seminar
    11:00am - 12:00pm
    Butler Lampson

    Usable Security Through Isolation
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Cryptography
    Seminar
    11:00am - 12:00pm
    David Pointcheval

    What guarantees does cryptography provide?
    Lecture
    10:00 - 11:00am
    Martin Abadi

    " On the Internet, no one knows you're a dog ", twenty years on
    Seminar
    11:00am - 12:00pm
    Adi Shamir

    How Cryptosystems are Really Broken

    Not recorded
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Protocols
    Seminar
    11:00am - 12:00pm
    Leslie Lamport

    From Byzantine Generals to Hackers
    Lecture
    10:00 - 11:00am
    Martin Abadi

    Insurance and formal models
    Seminar
    11:00am - 12:00pm
    Véronique Cortier

    How do you prove the security of cryptographic protocols?

    See also

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