Jonathan Protzenko
发表
Nikhil Swamy,
Chris Hawblitzel,
Rustan Leino,
2017,
SNAPL.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
Proc. ACM Program. Lang..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Jonathan Protzenko,
Franccois Pottier,
F. Pottier,
2013,
ICFP.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
Jonathan Protzenko,
Jonathan Protzenko,
2014
.
Jonathan Protzenko,
François Pottier,
F. Pottier,
2015,
SNAPL.
Sebastian Burckhardt,
Jonathan Protzenko,
2016,
IEEE Data Eng. Bull..
Jonathan Protzenko,
2013,
IFL '13.
Jonathan Protzenko,
François Pottier,
Armaël Guéneau,
2013,
ArXiv.
Karthikeyan Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2019,
USENIX Security Symposium.
Yi Zhou,
Cédric Fournet,
Bryan Parno,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Sebastian Burckhardt,
Daan Leijen,
Jonathan Protzenko,
2015
.
Jonathan de Halleux,
Judith Bishop,
Michael Braun,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Sebastian Burckhardt,
Daan Leijen,
Jonathan Protzenko,
2015,
ECOOP.
Didier Rémy,
Jonathan Protzenko,
Thibaut Balabonski,
2015
.
Jonathan Protzenko,
Denis Merigoux,
Raphael Monat,
2020,
ArXiv.
Jonathan Protzenko,
François Pottier,
2012
.
Karthikeyan Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2016
.
Sebastian Burckhardt,
Michal Moskal,
Jonathan Protzenko,
2015,
MobileDeLi.
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2016,
ACM Trans. Program. Lang. Syst..
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
CPP.
Jonathan Protzenko,
2013,
FSFMA.
Jonathan Protzenko,
2015,
IWIL@LPAR.
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
ArXiv.
Jonathan Protzenko,
2015,
2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond).
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Jonathan Protzenko,
Thomas Braibant,
Gabriel Scherer,
2014
.
Karthikeyan Bhargavan,
Jonathan Protzenko,
Santiago Zanella Béguelin,
2020,
IACR Cryptol. ePrint Arch..
Karthikeyan Bhargavan,
Jonathan Protzenko,
Jean Karim Zinzindohoué,
2017,
CCS.
Nikhil Swamy,
Catalin Hritcu,
Jonathan Protzenko,
2016,
POPL.
Nikhil Swamy,
Chris Hawblitzel,
Cédric Fournet,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2016
.
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2014,
FLOPS.
Jonathan Protzenko,
Denis Merigoux,
Nicolas Chataing,
2021,
Proc. ACM Program. Lang..
Jonathan Protzenko,
Son Ho,
2021,
ArXiv.
Srinath T. V. Setty,
Badrish Chandramouli,
Johannes Gehrke,
2021,
SIGMOD Conference.
Jonathan de Halleux,
Judith Bishop,
Jonathan Protzenko,
2016
.