| HACL*: A verified modern cryptographic library JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 69 | 2017 |
| Verified low-level programming embedded in F J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ... Proceedings of the ACM on Programming Languages 1 (ICFP), 17, 2017 | 60 | 2017 |
| Implementing and proving the TLS 1.3 record layer K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, J Pan, ... | 52* | 2017 |
| Global sequence protocol: A robust abstraction for replicated shared state S Burckhardt, D Leijen, J Protzenko, M Fähndrich 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 44 | 2015 |
| Programming with permissions in Mezzo F Pottier, J Protzenko ACM SIGPLAN Notices 48 (9), 173-184, 2013 | 40* | 2013 |
| Everest: Towards a verified, drop-in replacement of HTTPS K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ... 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017 | 31 | 2017 |
| Microsoft touch develop and the BBC micro: bit T Ball, J Protzenko, J Bishop, M Moskal, J de Halleux, M Braun, S Hodges, ... 2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016 | 31* | 2016 |
| Dijkstra monads for free D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ... ACM SIGPLAN Notices 52 (1), 515-529, 2017 | 27 | 2017 |
| Type soundness and race freedom for Mezzo T Balabonski, F Pottier, J Protzenko International Symposium on Functional and Logic Programming, 253-269, 2014 | 15 | 2014 |
| The design and formalization of Mezzo, a permission-based programming language T Balabonski, F Pottier, J Protzenko ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 14, 2016 | 14 | 2016 |
| A monadic framework for relational verification: Applied to information security, program equivalence, and optimizations N Grimm, K Maillard, C Fournet, C Hriţcu, M Maffei, J Protzenko, ... Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 12* | 2018 |
| Beyond open source: the TouchDevelop cloud-based integrated development environment T Ball, S Burckhardt, J de Halleux, M Moskal, J Protzenko, N Tillmann Proceedings of the Second ACM International Conference on Mobile Software …, 2015 | 11 | 2015 |
| Evercrypt: A fast, verified, cross-platform cryptographic provider J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ... Cryptology ePrint Archive, Report 2019/757. https://eprint. iacr. org/2019/757, 2019 | 6 | 2019 |
| Meta-F: Proof Automation with SMT, Tactics, and Metaprograms G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ... European Symposium on Programming, 30-59, 2019 | 6* | 2019 |
| Implementing real-time collaboration in TouchDevelop using AST merges J Protzenko, S Burckhardt, M Moskal, J McClurg Proceedings of the 3rd International Workshop on Mobile Development …, 2015 | 6 | 2015 |
| Mezzo: a typed language for safe effectful concurrent programs J Protzenko Université Paris Diderot-Paris 7, 2014 | 6 | 2014 |
| Pushing blocks all the way to C++ J Protzenko 2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond), 91-95, 2015 | 5 | 2015 |
| Formally verified cryptographic web applications in WebAssembly J Protzenko, B Beurdouche, D Merigoux, K Bhargavan | 4 | 2019 |
| A survey of register allocation techniques J Protzenko Technical report, École Polytechnique, France, 2009 | 4 | 2009 |
| XUL: Entwicklung von Rich Clients mit der Mozilla XML User Interface Language J Protzenko Open Source Press, 2007 | 4 | 2007 |
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
