Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete. A Formal Treatment of Accountable Proxying Over TLS. In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. pages 799-816, IEEE, 2018. [doi]
Abstract is missing.