Jonathan Protzenko

1.0k total citations
24 papers, 363 citations indexed

About

Jonathan Protzenko is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Jonathan Protzenko has authored 24 papers receiving a total of 363 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 7 papers in Information Systems and 6 papers in Computer Networks and Communications. Recurrent topics in Jonathan Protzenko's work include Security and Verification in Computing (11 papers), Logic, programming, and type systems (8 papers) and Teaching and Learning Programming (5 papers). Jonathan Protzenko is often cited by papers focused on Security and Verification in Computing (11 papers), Logic, programming, and type systems (8 papers) and Teaching and Learning Programming (5 papers). Jonathan Protzenko collaborates with scholars based in United States, France and United Kingdom. Jonathan Protzenko's co-authors include Karthikeyan Bhargavan, Benjamin Beurdouche, Cédric Fournet, Antoine Delignat-Lavaud, Nikhil Swamy, Santiago Zanella-Béguelin, Tahina Ramananandro, Sebastian Burckhardt, Manuel Fähndrich and Michał Moskal and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Proceedings of the ACM on Programming Languages.

In The Last Decade

Jonathan Protzenko

21 papers receiving 352 citations

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author Last Decade Papers Cites
Jonathan Protzenko 243 139 127 81 51 24 363
Suseela T. Sarasamma 166 0.7× 149 1.1× 70 0.6× 58 0.7× 20 0.4× 5 284
Tobias Wrigstad 332 1.4× 156 1.1× 219 1.7× 42 0.5× 168 3.3× 56 459
Wilf R. LaLonde 244 1.0× 91 0.7× 126 1.0× 23 0.3× 50 1.0× 45 361
Hans Albrecht Schmid 171 0.7× 165 1.2× 144 1.1× 80 1.0× 17 0.3× 20 308
Ravi Chugh 246 1.0× 78 0.6× 207 1.6× 148 1.8× 58 1.1× 21 382
Susan Eisenbach 241 1.0× 108 0.8× 142 1.1× 27 0.3× 67 1.3× 54 336
Xiaorui Pan 331 1.4× 155 1.1× 256 2.0× 303 3.7× 43 0.8× 7 506
Carlo Bellettini 102 0.4× 62 0.4× 135 1.1× 38 0.5× 11 0.2× 39 307
Michael Zhivich 197 0.8× 138 1.0× 204 1.6× 196 2.4× 25 0.5× 10 358
Salvador Roura 117 0.5× 53 0.4× 30 0.2× 31 0.4× 28 0.5× 16 217

Countries citing papers authored by Jonathan Protzenko

Since Specialization
Citations

This map shows the geographic impact of Jonathan Protzenko's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jonathan Protzenko with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jonathan Protzenko more than expected).

Fields of papers citing papers by Jonathan Protzenko

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jonathan Protzenko. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jonathan Protzenko. The network helps show where Jonathan Protzenko may publish in the future.

Co-authorship network of co-authors of Jonathan Protzenko

This figure shows the co-authorship network connecting the top 25 collaborators of Jonathan Protzenko. A scholar is included among the top collaborators of Jonathan Protzenko based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jonathan Protzenko. Jonathan Protzenko is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Protzenko, Jonathan, et al.. (2025). TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security. SPIRE - Sciences Po Institutional REpository. 4375–4390.
2.
Protzenko, Jonathan, et al.. (2024). Sound Borrow-Checking for Rust via Symbolic Semantics. Proceedings of the ACM on Programming Languages. 8(ICFP). 426–454. 1 indexed citations
3.
Protzenko, Jonathan, et al.. (2024). StarMalloc: Verifying a Modern, Hardened Memory Allocator. Proceedings of the ACM on Programming Languages. 8(OOPSLA2). 1757–1786. 1 indexed citations
4.
Protzenko, Jonathan, et al.. (2023). Comparse: Provably Secure Formats for Cryptographic Protocols. SPIRE - Sciences Po Institutional REpository. 564–578. 1 indexed citations
5.
Protzenko, Jonathan, et al.. (2023). Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Proceedings of the ACM on Programming Languages. 7(ICFP). 385–416. 1 indexed citations
6.
Protzenko, Jonathan, et al.. (2022). Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations. SPIRE - Sciences Po Institutional REpository. 107–124. 12 indexed citations
7.
Protzenko, Jonathan, et al.. (2022). Aeneas: Rust verification by functional translation. Proceedings of the ACM on Programming Languages. 6(ICFP). 711–741. 20 indexed citations
8.
Arasu, Arvind, Badrish Chandramouli, Johannes Gehrke, et al.. (2021). FastVer: Making Data Integrity a Commodity. 89–101. 8 indexed citations
9.
Protzenko, Jonathan, et al.. (2021). Catala: a programming language for the law. Proceedings of the ACM on Programming Languages. 5(ICFP). 1–29. 14 indexed citations
10.
Delignat-Lavaud, Antoine, et al.. (2021). A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. 1162–1178. 15 indexed citations
11.
Fournet, Cédric, Cătălin Hriţcu, Matteo Maffei, et al.. (2017). A Monadic Framework for Relational Verification (Functional Pearl).. arXiv (Cornell University). 1 indexed citations
12.
Delignat-Lavaud, Antoine, Cédric Fournet, Markulf Kohlweiss, et al.. (2017). Implementing and Proving the TLS 1.3 Record Layer. Edinburgh Research Explorer. 463–482. 48 indexed citations
13.
Protzenko, Jonathan, Aseem Rastogi, Tahina Ramananandro, et al.. (2017). Verified low-level programming embedded in F*. Proceedings of the ACM on Programming Languages. 1(ICFP). 1–29. 38 indexed citations
14.
Bhargavan, Karthikeyan, et al.. (2017). HACL*: A Verified Modern Cryptographic Library. HAL (Le Centre pour la Communication Scientifique Directe). 1789–1806. 104 indexed citations
15.
Burckhardt, Sebastian & Jonathan Protzenko. (2016). Abstract Specifications for Weakly Consistent Data.. IEEE Data(base) Engineering Bulletin. 39. 45–51.
16.
Pottier, François, et al.. (2016). The Design and Formalization of Mezzo, a Permission-Based Programming Language. ACM Transactions on Programming Languages and Systems. 38(4). 1–94. 12 indexed citations
17.
Protzenko, Jonathan, et al.. (2015). Implementing real-time collaboration in TouchDevelop using AST merges. 25–27. 3 indexed citations
18.
Ball, Thomas, Sebastian Burckhardt, Jonathan de Halleux, et al.. (2015). Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. 83–93. 5 indexed citations
19.
Protzenko, Jonathan. (2015). Pushing blocks all the way to C++. 91–95. 6 indexed citations
20.
Burckhardt, Sebastian, Daan Leijen, Jonathan Protzenko, & Manuel Fähndrich. (2015). Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 590. 22 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Suseela T. Sarasamma Breakdown of academic impact, for papers by Tobias Wrigstad Breakdown of academic impact, for papers by Wilf R. LaLonde Breakdown of academic impact, for papers by Hans Albrecht Schmid Breakdown of academic impact, for papers by Ravi Chugh Breakdown of academic impact, for papers by Susan Eisenbach Breakdown of academic impact, for papers by Xiaorui Pan Breakdown of academic impact, for papers by Carlo Bellettini Breakdown of academic impact, for papers by Michael Zhivich Breakdown of academic impact, for papers by Salvador Roura
Rankless by CCL
2026