|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 listsMicrosoft Socio-Digital Systems talks Abcam meetings John Ray Society
Other talksImproving techniques and technology for cellular and molecular pathology Comprehensive laboratory studies of hydrocarbon oxidation mechanisms Assessing scientific theories Big Data in Biology: Challenges and Opportunities for Healthcare and Research Nursing Turing's Child: How to Grow Communication-based Intelligent Machines Adrian Seminar Series - Annual Lecture "How Do You Feel? Ion channels that sense mechanical force"