|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Is SSL provably secure ?
If you have a question about this talk, please contact Saar Drimer.
In this talk I will describe some joint work with P. Morrissey and B. Warinschi on the SSL protocol. We attempt to show that an abstraction of the SSL protocol does provide a secure key agreement protocol, and we quantify exactly what properties are required of any subprotocol which produces the pre-master secret.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsThese Young Minds Jesus College Graduate Society Graduates' and Fellows' Symposia Biological and Soft Systems Seminars
Other talksTHE DRILLERS DON’T LIKE GETTING WET or WHY THE LAUNDRY ROOM KEEPS GETTING FLOODED : Water up to surprisingly high levels around the legs of large floating oil rigs Under pressure: Environmental stressors alter relationships between physiology and behaviour in fishes Greek disguised as Romance? Interpreting language convergence and divergence in terms of parameter hierarchies Developing Sustainable Architecture From Time Team to Archaeology for All Ultrasonic Actuation in Microfluidics for Particle Handling, Sorting and Droplet Formation