Jonathan Protzenko

HACL*: A Verified Modern Cryptographic Library

Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko et al. · 2017 · 196 citations · Full text

Blockchain, Cryptographic Primitive, Engineering +13

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 98 citations · Full text

Program Checking, Engineering, Compiler Technology +21

Implementing and Proving the TLS 1.3 Record Layer

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss et al. · 2017 · 80 citations · Full text

Engineering, Information Security, Verification +18

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Atop Evercrypt, Cryptographic Primitive, Engineering +19

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 48 citations · Full text

Cluster Computing, Engineering, Verification +22