Implementing and Proving the TLS 1.3 Record Layer.

Antoine Delignat-Lavaud Cédric Fournet Markulf Kohlweiss Jonathan Protzenko Aseem Rastogi Nikhil Swamy Santiago Zanella Béguelin Karthikeyan Bhargavan Jianyang Pan Jean Karim Zinzindohoue

Published in: IEEE Symposium on Security and Privacy (2017)

Keyphrases