Jonathan Protzenko
About
Jonathan Protzenko has authored 15 papers that have received a total of 183 indexed citations.
This includes 13 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. The topics of these papers are Security and Verification in Computing (10 papers), Logic, programming, and type systems (6 papers) and Cryptographic Implementations and Security (4 papers). Jonathan Protzenko is often cited by papers focused on Security and Verification in Computing (10 papers), Logic, programming, and type systems (6 papers) and Cryptographic Implementations and Security (4 papers) and collaborates with scholars based in United States, France and India. Jonathan Protzenko's co-authors include Karthikeyan Bhargavan, Nikhil Swamy, Antoine Delignat-Lavaud, Aseem Rastogi and Cédric Fournet 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
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Luis Tejerina Breakdown of academic impact, for papers by Shifa Zhang Breakdown of academic impact, for papers by Jianyang Fu Breakdown of academic impact, for papers by Melissa Ditmore Breakdown of academic impact, for papers by S. Y. Oh Breakdown of academic impact, for papers by Péter Horváth Breakdown of academic impact, for papers by Chien‐Chung Shen Breakdown of academic impact, for papers by Grace R Nakayama