Gilles Barthe
发表
Jean-Louis Lanet,
Marieke Huisman,
Benjamin Grégoire,
2006,
CASSIS.
Morten Heine Sørensen,
Gilles Barthe,
2000,
J. Funct. Program..
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2020,
LICS.
Borja Balle,
Marco Gaboardi,
Gilles Barthe,
2020,
J. Priv. Confidentiality.
Peter Schwabe,
Kevin Liao,
Tamara Rezk,
2020,
IACR Cryptol. ePrint Arch..
Joost-Pieter Katoen,
Justin Hsu,
Christoph Matheja,
2021,
Proc. ACM Program. Lang..
Pedro R. D'Argenio,
Tamara Rezk,
Gilles Barthe,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Manuel Barbosa,
Vincent Laporte,
José Bacelar Almeida,
2020,
INDOCRYPT.
Bernhard Schölkopf,
Amir-Hossein Karimi,
Isabel Valera,
2020,
ArXiv.
Peter Thiemann,
Gilles Barthe,
2002,
Electron. Notes Theor. Comput. Sci..
Andrew C. Myers,
Heiko Mantel,
Andrei Sabelfeld,
2007,
Mobility, Ubiquity and Security.
Gilles Barthe,
Blas C. Ruiz Jiménez,
2001,
APPIA-GULP-PRODE.
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2020,
Proc. ACM Program. Lang..
Erik Poll,
Lennart Beringer,
Martin Hofmann,
2008
.
Craig Disselkoen,
Deian Stefan,
Tamara Rezk,
2020,
PLDI.
Javier López,
Jorge Cuéllar,
Gilles Barthe,
2012,
J. Comput. Secur..
Steve Kremer,
Gilles Barthe,
Charlie Jacomme,
2020,
LICS.
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016,
CCS.
Benjamin Grégoire,
François-Xavier Standaert,
Pierre-Alain Fouque,
2019,
ESORICS.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
CCS.
Bernhard Schölkopf,
Matthew Lentz,
Manuel Gomez-Rodriguez,
2020,
ArXiv.
Amir-Hossein Karimi,
Isabel Valera,
Gilles Barthe,
2020,
ArXiv.
Bernd Finkbeiner,
Holger Hermanns,
Pedro R. D'Argenio,
2017,
ESOP.
David Pichardie,
César Kunz,
Gilles Barthe,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Thierry Coquand,
Gilles Barthe,
G. Barthe,
2000,
APPSEM.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Marc Gourjon,
2021,
IACR Cryptol. ePrint Arch..
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2019,
ArXiv.
John Hatcliff,
Morten Heine Sørensen,
Gilles Barthe,
1999,
High. Order Symb. Comput..
Benjamin Grégoire,
Thomas Espitau,
Pierre-Yves Strub,
2015
.
Ugo Dal Lago,
Francesco Gavazzo,
Gilles Barthe,
2020
.
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016
.
Pierre-Yves Strub,
Manuel Barbosa,
José Bacelar Almeida,
2019,
IACR Cryptol. ePrint Arch..
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2019
.
Gilles Barthe,
Benjamin Gr,
2007
.
Benjamin Grégoire,
David Pichardie,
Sandrine Blazy,
2019
.
Bryan Parno,
Manuel Barbosa,
Bruno Blanchet,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Pierre-Yves Strub,
Marco Gaboardi,
Deepak Garg,
2017,
Journal of Functional Programming.
Sandro Etalle,
Anupam Datta,
Gilles Barthe,
2011
.
John Hatcliff,
Gilles Barthe,
Morten Heine Sørensen,
2001,
Theor. Comput. Sci..
Benjamin Grégoire,
Pierre-Yves Strub,
Steve Kremer,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Federico Olmedo,
Boris Köpf,
Santiago Zanella-Béguelin,
2012
.
Morten Heine Sørensen,
Gilles Barthe,
2000
.
Marco Gaboardi,
Gilles Barthe,
Deepak Garg,
2017,
POPL.
Pedro R. D'Argenio,
Tamara Rezk,
Gilles Barthe,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Ugo Dal Lago,
Francesco Gavazzo,
Gilles Barthe,
2020,
ESOP.
Steve Kremer,
Gilles Barthe,
Charlie Jacomme,
2020
.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2019
.
Sandro Etalle,
Anupam Datta,
Gilles Barthe,
2011,
Lecture Notes in Computer Science.
Thomas Espitau,
Pierre-Yves Strub,
Justin Hsu,
2019,
Log. Methods Comput. Sci..