by Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
Reference:
A Formal Treatment of Accountable Proxying Over TLS (Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete), In IEEE Symposium on Security and Privacy (Oakland), 2018.
Bibtex Entry:
@inproceedings{DBLP:conf/sp/BhargavanBDFO18,
author = {Karthikeyan Bhargavan and Ioana Boureanu and Antoine Delignat{-}Lavaud and Pierre{-}Alain Fouque and Cristina Onete},
title = {A Formal Treatment of Accountable Proxying Over {TLS}},
booktitle = {{IEEE} Symposium on Security and Privacy (Oakland)},
pages = {799--816},
year = {2018}}