Implementing and Proving the TLS 1.3 Record Layer.
Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
VenueA*SP
Year2017
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/Delignat-Lavaud17 ↗
Browse the full SP paper archive.