SafeTLS
2016-2020


                                   

Publications to date


  • Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete: "A formal treatment of accountable proxying over TLS" Accepted at IEEE S&P 2018, to appear in proceedings

  • Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard: "Content Delivery over TLS: A cryptographic analysis of Keyless SSL" Published at EURO S&P 2017, Proceedings version



© 2017 Univ. Rennes 1
Last modified on 22/06/2017