Jonathan Protzenko
发表
Karthikeyan Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
Jonathan Protzenko,
2009
.
G. Scherer,
Jonathan Protzenko,
Thomas Braibant,
2014
.
Didier Rémy,
Jonathan Protzenko,
Thibaut Balabonski,
2015
.
K. Bhargavan,
Jonathan Protzenko,
Son Ho,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Chris Hawblitzel,
Cédric Fournet,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Chris Hawblitzel,
Rustan Leino,
2017,
SNAPL.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
Proc. ACM Program. Lang..
Jonathan Protzenko,
Denis Merigoux,
Raphaël Monat,
2020,
CC.
Jonathan Protzenko,
François Pottier,
F. Pottier,
2015,
SNAPL.
Jonathan Protzenko,
Son Ho,
2022,
Proc. ACM Program. Lang..
K. Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2022,
IACR Cryptol. ePrint Arch..
Karthikeyan Bhargavan,
Santiago Zanella Béguelin,
Aymeric Fromherz,
2020,
CCS.
Yi Zhou,
Cédric Fournet,
Bryan Parno,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2019,
USENIX Security Symposium.
Karthikeyan Bhargavan,
Jonathan Protzenko,
Jean Karim Zinzindohoué,
2017,
CCS.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2016,
ACM Trans. Program. Lang. Syst..
Jonathan Protzenko,
Franccois Pottier,
F. Pottier,
2013,
ICFP.
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
CPP.
Srinath T. V. Setty,
Badrish Chandramouli,
Johannes Gehrke,
2021,
SIGMOD Conference.
Jonathan Protzenko,
Son Ho,
2021,
arXiv.org.
Jonathan Protzenko,
2021
.
Karthikeyan Bhargavan,
Jonathan Protzenko,
Santiago Zanella Béguelin,
2020,
IACR Cryptol. ePrint Arch..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Jonathan Protzenko,
Denis Merigoux,
Nicolas Chataing,
2021,
Proc. ACM Program. Lang..
Nikhil Swamy,
Cédric Fournet,
Kenji Maillard,
2018
.
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
ArXiv.
Sebastian Burckhardt,
Daan Leijen,
Jonathan Protzenko,
2015,
ECOOP.
Sebastian Burckhardt,
Daan Leijen,
Jonathan Protzenko,
2015
.
Santiago Zanella Béguelin,
K. Bhargavan,
Antoine Delignat-Lavaud,
2017,
Proc. ACM Program. Lang..
K. Bhargavan,
Jonathan Protzenko,
Théophile Wallez,
2023,
IACR Cryptol. ePrint Arch..