Jonathan Protzenko

15 papers and 182 indexed citations i.

Jonathan Protzenko has authored 15 papers that have received a total of 182 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