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

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

2021 IEEE Symposium on Security and Privacy (SP)（2021）

引用 24|浏览178

暂无评分

摘要

Drawing on earlier protocol-verification work, we investigate the security of the QUIC record layer, as standardized by the IETF in draft version 30. This version features major differences compared to Google’s original protocol and early IETF drafts. It serves as a useful test case for our verification methodology and toolchain, while also, hopefully, drawing attention to a little studied yet cru...

查看译文

关键词

Privacy,Data privacy,Protocols,Runtime,Throughput,Robustness,Encryption

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要