Jonathan Protzenko

64 papers A* 12A 3B 2Misc 1Journal 34Unranked 10
YearRankTypeTitle / Venue / Authors
2025 conf
CAV (4)
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko
2025 A* conf
SP
Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
2025 J jnl
IACR Cryptol. ePrint Arch.
Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
2025 ed.
VSTTE
Jonathan Protzenko, Azalea Raad
2024 J jnl
CoRR
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
CoRR
Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
CoRR
Son Ho, Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
Proc. ACM Program. Lang.
Son Ho, Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
CoRR
Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
Proc. ACM Program. Lang.
Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko
2023 A* conf
CCS
Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
2023 J jnl
IACR Cryptol. ePrint Arch.
Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan
2023 J jnl
Dagstuhl Reports
Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan
2023 J jnl
Proc. ACM Program. Lang.
Son Ho, Aymeric Fromherz, Jonathan Protzenko
2023 A* conf
USENIX Security Symposium
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
2022 J jnl
CoRR
Son Ho, Jonathan Protzenko
2022 J jnl
Proc. ACM Program. Lang.
Son Ho, Jonathan Protzenko
2022 J jnl
IACR Cryptol. ePrint Arch.
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
2022 A* conf
SP
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
2022 J jnl
IACR Cryptol. ePrint Arch.
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
2021 A* conf
SP
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2021 B conf
CC
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2021 J jnl
CoRR
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
2021 J jnl
Proc. ACM Program. Lang.
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
2021 conf
SIGMOD Conference
Arvind Arasu, Badrish Chandramouli, Johannes Gehrke, Esha Ghosh, Donald Kossmann, Jonathan Protzenko, Ravi Ramamurthy, Tahina Ramananandro, Aseem Rastogi, Srinath T. V. Setty, Nikhil Swamy, Alexander van Renen, Min Xu
2021 J jnl
CoRR
Jonathan Protzenko, Son Ho
2020 J jnl
CoRR
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2020 J jnl
IACR Cryptol. ePrint Arch.
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 A* conf
SP
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2020 A* conf
CCS
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
2020 J jnl
IACR Cryptol. ePrint Arch.
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
2019 J jnl
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019 A* conf
USENIX Security Symposium
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
2019 A* conf
IEEE Symposium on Security and Privacy
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 J jnl
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 A conf
ESOP
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
2018 B conf
CPP
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
2018 J jnl
CoRR
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
2017 J jnl
CoRR
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
2017 A* conf
POPL
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
2017 conf
SNAPL
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean Karim Zinzindohoue
2017 A* conf
CCS
Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
2017 J jnl
IACR Cryptol. ePrint Arch.
Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
2017 A* conf
IEEE Symposium on Security and Privacy
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
2017 J jnl
CoRR
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
2017 J jnl
Proc. ACM Program. Lang.
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
2016 J jnl
IEEE Data Eng. Bull.
Sebastian Burckhardt, Jonathan Protzenko
2016 J jnl
CoRR
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
2016 J jnl
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Jean Karim Zinzindohoue
2016 conf
ICSE (Companion Volume)
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
2016 J jnl
ACM Trans. Program. Lang. Syst.
Thibaut Balabonski, François Pottier, Jonathan Protzenko
2015 conf
SNAPL
François Pottier, Jonathan Protzenko
2015 conf
MOBILESoft
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
2015 conf
IWIL@LPAR
Jonathan Protzenko
2015 A conf
ECOOP
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
2015 conf
MobileDeLi
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg
2014
Jonathan Protzenko
2014 Misc conf
FLOPS
Thibaut Balabonski, François Pottier, Jonathan Protzenko
2013 conf
FSFMA
Jonathan Protzenko
2013 J jnl
CoRR
Jonathan Protzenko
2013 J jnl
CoRR
Jonathan Protzenko, François Pottier
2013 A conf
ICFP
François Pottier, Jonathan Protzenko
2013 conf
IFL
Jonathan Protzenko
2013 J jnl
CoRR
Armaël Guéneau, François Pottier, Jonathan Protzenko