Jonathan Protzenko

HACL*: A Verified Modern Cryptographic Library

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

Computing, Computer Engineering, Computer Science +17

Verified low-level programming embedded in F*

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

Computing, Computer Engineering, Computer Science +15

Implementing and Proving the TLS 1.3 Record Layer

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

Computing, Computer Science, Authentication +16

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

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

Computing, Computer Engineering, Computer Science +17

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 · 49 citations · Full text

Computing, Computer Science, Computer Systems +17