Pierre-Yves Strub
发表
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2018,
ESOP.
Bas Spitters,
Pierre-Yves Strub,
Helene Haagh,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Benjamin Grégoire,
Gilles Barthe,
Justin Hsu,
2016,
POPL.
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2013,
POST 2013.
Pierre-Yves Strub,
Franziskus Kiefer,
Karthikeyan Bhargavan,
2018,
SSR.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015
.
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2015
.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2014,
2014 IEEE Symposium on Security and Privacy.
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2016,
POPL.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Lianyi Zhang,
2010
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2007,
CSL.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Pierre-Yves Strub,
2017,
LPAR.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2013,
FOSAD.
Juan Chen,
Benjamin Livshits,
Pierre-Yves Strub,
2013,
POPL.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.
Jean-Pierre Jouannaud,
Qian Wang,
Pierre-Yves Strub,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Pierre-Yves Strub,
2008
.
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016,
CCS.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
CCS.
Gilles Barthe,
Thomas Espitau,
Justin Hsu,
2017,
ICALP.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
IACR Cryptol. ePrint Arch..
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
IACR Cryptol. ePrint Arch..
Juan Chen,
Pierre-Yves Strub,
Nikhil Swamy,
2012,
POPL '12.
Pierre-Yves Strub,
Qian Wang,
Frédéric Blanqui,
2009
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2016,
CCS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
POPL.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2013,
2013 IEEE Symposium on Security and Privacy.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Pierre-Yves Strub,
Xavier Allamigeon,
Ricardo D. Katz,
2020,
IJCAR.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
Journal of Cryptographic Engineering.
Gilles Dowek,
Jean-Pierre Jouannaud,
Ian Mackie,
2005
.
Juan Chen,
Pierre-Yves Strub,
Gavin M. Bierman,
2014,
POPL.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2015,
LPAR.
Benjamin Grégoire,
Thomas Espitau,
Pierre-Yves Strub,
2015
.
Pierre-Yves Strub,
Yves Bertot,
Laurence Rideau,
2015,
CPP.
Pierre-Yves Strub,
Jérôme Darbon,
Thierry Géraud,
2001,
Proceedings 2001 International Conference on Image Processing (Cat. No.01CH37205).
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016
.
Pierre-Yves Strub,
Manuel Barbosa,
José Bacelar Almeida,
2019,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Justin Hsu,
Pierre-Yves Strub,
2016
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
César Muñoz,
2006
.
Juan Chen,
Pierre-Yves Strub,
Nikhil Swamy,
2011,
Journal of Functional Programming.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
EUROCRYPT.
Pierre-Yves Strub,
Pierre-Yves Strub,
2010,
CSL.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2008,
IFIP TCS.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2014,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
ICALP.
Pierre-Yves Strub,
Marco Gaboardi,
Deepak Garg,
2017,
Journal of Functional Programming.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2015,
EUROCRYPT.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2015,
WINE.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
CCS.
Pierre-Yves Strub,
Evmorfia-Iro Bartzia,
Pierre-Yves Strub,
2014,
ITP.
Alfredo Pironti,
Pierre-Yves Strub,
Karthikeyan Bhargavan,
2013
.
Benjamin Grégoire,
Pierre-Yves Strub,
Steve Kremer,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015,
2015 IEEE Symposium on Security and Privacy.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015,
IEEE Symposium on Security and Privacy.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014
.
Pierre-Yves Strub,
Cédric Fournet,
Markulf Kohlweiss,
2011,
CCS '11.
Pierre-Yves Strub,
2008
.
Véronique Cortier,
Pierre-Yves Strub,
Bogdan Warinschi,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2016,
CCS.
Alfredo Pironti,
Pierre-Yves Strub,
Karthikeyan Bhargavan,
2012
.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
LPAR.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
2020 IEEE Symposium on Security and Privacy (SP).
Thomas Espitau,
Pierre-Yves Strub,
Justin Hsu,
2019,
Log. Methods Comput. Sci..
Juan Chen,
Pierre-Yves Strub,
Nikhil Swamy,
2013,
J. Funct. Program..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2021,
IACR Cryptol. ePrint Arch..
Pierre-Yves Strub,
Benjamin Werner,
Pablo Donato,
2022,
CPP.
Jonathan Katz,
Benjamin Grégoire,
Gilles Barthe,
2021,
IACR Cryptol. ePrint Arch..
Pierre-Yves Strub,
Assia Mahboubi,
Cyril Cohen,
2021,
ITP.
Pierre-Yves Strub,
Pierre-Yves Strub,
2008
.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.