( en | de | ru )

 

Disambiguation of "Protzenko, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).

, , , and . IACR Cryptol. ePrint Arch., (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jonathan Protzenko

Jonathan Roth

Jonathan Cavanagh

Jonathan Burmeister

Jonathan Vöglein

 

Other publications of authors with the same name

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version)., , , and . IACR Cryptol. ePrint Arch., (2022)Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier., , , , , , , , , and 3 other author(s). CoRR, (2018)XUL. Entwicklung von Rich Clients mit der Mozilla XML User Interface Language. Open Source Press, 1 edition, (2007)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , and . USENIX Security Symposium, page 1465-1482. USENIX Association, (2019)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , and . SP, page 1162-1178. IEEE, (2021)HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)., , , , , , and . ACM Conference on Computer and Communications Security, page 899-918. ACM, (2020)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , and . IACR Cryptol. ePrint Arch., (2020)Comparse: Provably Secure Formats for Cryptographic Protocols., , and . CCS, page 564-578. ACM, (2023)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , and 12 other author(s). SNAPL, volume 71 of LIPIcs, page 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)FastVer: Making Data Integrity a Commodity., , , , , , , , , and 3 other author(s). SIGMOD Conference, page 89-101. ACM, (2021)