%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 }