Implementing and Proving the TLS 1.3 Record Layer (bibtex)
by Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Jean Karim Zinzindohoué
Reference:
Implementing and Proving the TLS 1.3 Record Layer (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Jean Karim Zinzindohoué), In IEEE Symposium on Security and Privacy (Oakland), 2017.
Bibtex Entry:
@inproceedings{mitls-record,
  author    = {Karthikeyan Bhargavan and Antoine Delignat-Lavaud and C\'edric Fournet and Markulf Kohlweiss and Jianyang Pan and Jonathan Protzenko and Aseem Rastogi and Nikhil Swamy and Santiago Zanella-B\'eguelin and Jean Karim Zinzindohou\'e},
  title     = {Implementing and Proving the {TLS} 1.3 Record Layer},
  booktitle = {{IEEE} Symposium on Security and Privacy (Oakland)},
  year      = {2017},
}
Powered by bibtexbrowser