Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sp/Delignat-Lavaud21
%A Delignat-Lavaud, Antoine
%A Fournet, Cédric
%A Parno, Bryan
%A Protzenko, Jonathan
%A Ramananandro, Tahina
%A Bosamiya, Jay
%A Lallemand, Joseph
%A Rakotonirina, Itsaka
%A Zhou, Yi
%B SP
%D 2021
%I IEEE
%K dblp
%P 1162-1178
%T A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
%U http://dblp.uni-trier.de/db/conf/sp/sp2021.html#Delignat-Lavaud21
%@ 978-1-7281-8934-5
@inproceedings{conf/sp/Delignat-Lavaud21,
added-at = {2024-01-12T00:00:00.000+0100},
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},
biburl = {https://www.bibsonomy.org/bibtex/21f08bc1ca26a7bbb3522644ac9767ca5/dblp},
booktitle = {SP},
crossref = {conf/sp/2021},
ee = {https://doi.org/10.1109/SP40001.2021.00039},
interhash = {6f6701c6f5202813215f3db994af58f4},
intrahash = {1f08bc1ca26a7bbb3522644ac9767ca5},
isbn = {978-1-7281-8934-5},
keywords = {dblp},
pages = {1162-1178},
publisher = {IEEE},
timestamp = {2024-04-10T00:01:50.000+0200},
title = {A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.},
url = {http://dblp.uni-trier.de/db/conf/sp/sp2021.html#Delignat-Lavaud21},
year = 2021
}