A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer (bibtex)

by Delignat-Lavaud, Antoine, Fournet, Cédric, Parno, Bryan, Protzenko, Jonathan, Ramananandro, Tahina, Bosamiya, Jay, Lallemand, Joseph, Rakotonirina, Itsaka and Zhou, Yi

Reference:

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer (Delignat-Lavaud, Antoine, Fournet, Cédric, Parno, Bryan, Protzenko, Jonathan, Ramananandro, Tahina, Bosamiya, Jay, Lallemand, Joseph, Rakotonirina, Itsaka and Zhou, Yi), In 2021 IEEE Symposium on Security and Privacy (SP), volume , 2021.

Bibtex Entry:

@INPROCEEDINGS{everquic,
  author={Delignat-Lavaud, Antoine and Fournet, Cédric and Parno, Bryan and Protzenko, Jonathan and Ramananandro, Tahina and Bosamiya, Jay and Lallemand, Joseph and Rakotonirina, Itsaka and Zhou, Yi},
  booktitle={2021 IEEE Symposium on Security and Privacy (SP)}, 
  title={A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer}, 
  year={2021},
  volume={},
  number={},
  pages={1162-1178},
  doi={10.1109/SP40001.2021.00039}}