Implementing and Proving the TLS 1.3 Record Layer (bibtex)

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

Reference:

Implementing and Proving the TLS 1.3 Record Layer (Karthikeyan Bhargavan, Antoine Delignat-Lavaud and Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin and Jean Karim Zinzindohoue), In IEEE Security & Privacy, 2017.

Bibtex Entry:

@article{record,
  author    = {Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Jianyang Pan and
               Jonathan Protzenko and
               Aseem Rastogi and
               Nikhil Swamy and
               Santiago {Zanella B{\'{e}}guelin} and
               Jean Karim Zinzindohoue},
  title     = {Implementing and Proving the {TLS} 1.3 Record Layer},
  journal   = {IEEE Security {\&} Privacy},
  year      = {2017}
}