|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 listsTalk by Les Frères Chapalo The Cambridge Group for the History of Population and Social Structure - seminar series Algorithms
Other talksPregnancy and Childbirth: Discussing current academic research and clinical expertise to ensure a healthy pregnancy. Café Synthetique: biomechanics and DNA lego Research Group: 'Governing the slums: Lessons from Kenya and Rwanda' Turner, Goya and Cornelius in 1816 Stochastic Mechanochemistry of the Eukaryotic Cytoskeleton Neuroinflammation in autism