A Formal Treatment of Accountable Proxying Over TLS.
Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
VenueA*SP
Year2018
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BhargavanBDFO18 ↗
Browse the full SP paper archive.