( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

, , , , , , , , и . SP, стр. 1162-1178. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jonathan Protzenko

Jonathan Roericht

Jonathan Dörr

Jonathan Burmeister

Jonathan Vöglein

 

Другие публикации лиц с тем же именем

XUL. Entwicklung von Rich Clients mit der Mozilla XML User Interface Language. Open Source Press, 1 издание, (2007)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , и . USENIX Security Symposium, стр. 1465-1482. USENIX Association, (2019)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , и . SP, стр. 1162-1178. IEEE, (2021)A Modern Compiler for the French Tax Code., , и . CoRR, (2020)Aeneas: Rust verification by functional translation., и . Proc. ACM Program. Lang., 6 (ICFP): 711-741 (2022)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , и 6 other автор(ы). SP, стр. 983-1002. IEEE, (2020)Formally Verified Cryptographic Web Applications in WebAssembly., , , и . IEEE Symposium on Security and Privacy, стр. 1256-1274. IEEE, (2019)TreeSync: Authenticated Group Management for Messaging Layer Security., , , и . USENIX Security Symposium, стр. 1217-1233. USENIX Association, (2023)A modern compiler for the French tax code., , и . CC, стр. 71-82. ACM, (2021)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , и 3 other автор(ы). ESOP, том 11423 из Lecture Notes in Computer Science, стр. 30-59. Springer, (2019)