Pierre-Yves Strub
发表
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2016,
POPL.
Juan Chen,
Benjamin Livshits,
Pierre-Yves Strub,
2013,
POPL.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
POPL.
Juan Chen,
Pierre-Yves Strub,
Nikhil Swamy,
2011,
Journal of Functional Programming.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.
Juan Chen,
Pierre-Yves Strub,
Gavin M. Bierman,
2014,
POPL.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2014,
2014 IEEE Symposium on Security and Privacy.
Pierre-Yves Strub,
Pierre-Yves Strub,
2008
.
Santiago Zanella Béguelin,
K. Bhargavan,
Antoine Delignat-Lavaud,
2016,
POPL.
Justin Hsu,
G. Barthe,
Pierre-Yves Strub,
2017
.
G. Barthe,
Pierre-Yves Strub,
B. Grégoire,
2014
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
César Muñoz,
2006
.
G. Barthe,
Pierre-Yves Strub,
B. Grégoire,
2014
.
Gilles Barthe,
Justin Hsu,
Pierre-Yves Strub,
2016
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014
.
Pierre-Yves Strub,
Qian Wang,
2010
.
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2015
.
Pierre-Yves Strub,
Xavier Allamigeon,
Quentin Canu,
2023,
CPP.
Benjamin Grégoire,
Pierre-Yves Strub,
Steve Kremer,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Pierre-Yves Strub,
Cédric Fournet,
Markulf Kohlweiss,
2011,
CCS '11.
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016,
CCS.
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016
.
Pierre-Yves Strub,
Marco Gaboardi,
Deepak Garg,
2017,
Journal of Functional Programming.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2015,
WINE.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
EUROCRYPT.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2015,
EUROCRYPT.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015,
2015 IEEE Symposium on Security and Privacy.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2013,
2013 IEEE Symposium on Security and Privacy.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2014,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2013,
FOSAD.
Pierre-Yves Strub,
Xavier Allamigeon,
Ricardo D. Katz,
2020,
IJCAR.
Benjamin Grégoire,
Gilles Barthe,
Justin Hsu,
2016,
POPL.
Pierre-Yves Strub,
Evmorfia-Iro Bartzia,
Pierre-Yves Strub,
2014,
ITP.
Pierre-Yves Strub,
M. Barbosa,
B. Grégoire,
2023
.
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
ICALP.
G. Barthe,
Pierre-Yves Strub,
M. Ying,
2022,
Proc. ACM Program. Lang..
Pierre-Yves Strub,
Jérôme Darbon,
Thierry Géraud,
2001,
Proceedings 2001 International Conference on Image Processing (Cat. No.01CH37205).
Véronique Cortier,
Pierre-Yves Strub,
Bogdan Warinschi,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
CCS.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
2020 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
CCS.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2016,
CCS.
G. Barthe,
Pierre-Yves Strub,
M. Barbosa,
2023,
IACR Trans. Cryptogr. Hardw. Embed. Syst..
G. Barthe,
Pierre-Yves Strub,
M. Barbosa,
2023
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
LPAR.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2015,
LPAR.
Alfredo Pironti,
Pierre-Yves Strub,
Karthikeyan Bhargavan,
2013
.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
Proc. ACM Program. Lang..
Pierre-Yves Strub,
Yves Bertot,
Laurence Rideau,
2015,
CPP.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Pierre-Yves Strub,
2017,
LPAR.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2008,
IFIP TCS.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2007,
CSL.
Pierre-Yves Strub,
Gilles Barthe,
Adrien Koutsos,
2023,
ACM Trans. Priv. Secur..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2021,
IACR Cryptol. ePrint Arch..
Gian Pietro Farina,
Pierre-Yves Strub,
Gilles Barthe,
2022
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
Journal of Cryptographic Engineering.
G. Barthe,
Pierre-Yves Strub,
François-Xavier Standaert,
2017,
EUROCRYPT.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015
.