G. Barthe
发表
G. Barthe,
L. Burdy,
M. Huisman,
2005
.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
POPL.
Bryan Parno,
Manuel Barbosa,
Bruno Blanchet,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Gilles Barthe,
Guillaume Dufay,
G. Barthe,
2004,
FASE.
Benjamin Grégoire,
Gilles Barthe,
Tamara Rezk,
2006,
SAS.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.
Claude Kirchner,
Gilles Barthe,
Luigi Liquori,
2003,
POPL '03.
Torben Æ. Mogensen,
Andrei P. Nemytykh,
Sergei M. Abramov,
1997
.
G. Barthe,
1994
.
Borja Balle,
G. Barthe,
Marco Gaboardi,
2019
.
Daniel De Almeida Braga,
G. Barthe,
Pierre-Alain Fouque,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
Justin Hsu,
G. Barthe,
Pierre-Yves Strub,
2017
.
A. P. Sistla,
G. Barthe,
Rohit Chadha,
2019
.
Gilles Barthe,
Manuel Barbosa,
François Dupressoir,
2013,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Gerardo Schneider,
Alberto Pardo,
2011
.
G. Barthe,
Pierre-Yves Strub,
B. Grégoire,
2014
.
A. D. Gordon,
G. Barthe,
J. Katoen,
2015
.
Gilles Barthe,
G. Barthe,
1995,
TYPES.
G. Barthe,
P. Lafourcade,
P. Corbineau,
2010
.
Claude Kirchner,
Gilles Barthe,
Luigi Liquori,
2003,
POPL '03.
Gilles Barthe,
G. Barthe,
2018,
ACM Conference on Computer and Communications Security.
Bernhard Schölkopf,
Gilles Barthe,
Amir-Hossein Karimi,
2020,
ArXiv.
G. Barthe,
Alejandro Ríos,
Fairouz Kamareddine,
2006
.
Adam T. Geller,
G. Barthe,
Ranjit Jhala,
2022,
2207.04034.
G. Barthe,
2017
.
Ugo Dal Lago,
G. Barthe,
Francesco Gavazzo,
2022,
Proc. ACM Program. Lang..
G. Barthe,
Miguel Ambrona,
Itsaka Rakotonirina,
2022,
AsiaCCS.
Erik Poll,
Lennart Beringer,
Martin Hofmann,
2008
.
G. Barthe,
Pierre-Alain Fouque,
B. Grégoire,
2018
.
G. Barthe,
Francesco Gavazzo,
U. Dal Lago,
2022,
Proc. ACM Program. Lang..
Ugo Dal Lago,
G. Barthe,
Francesco,
2020
.
Andrew C. Myers,
Heiko Mantel,
Andrei Sabelfeld,
2007,
Mobility, Ubiquity and Security.
Gilles Barthe,
Peter Müller,
Andrew C. Myers,
2007
.
G. Barthe,
B. Grégoire,
B. Shivakumar,
2022,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Alejandro Russo,
Tamara Rezk,
2007,
TSEC.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2009,
POPL '09.
G. Barthe,
Pierre-Yves Strub,
B. Grégoire,
2014
.
G. Barthe,
César Kunz,
Juan Manuel Crespo,
2010
.
Benjamin Grégoire,
Gilles Barthe,
Benedikt Schmidt,
2015
.
Gilles Barthe,
Justin Hsu,
Pierre-Yves Strub,
2016
.
Alexander Pretschner,
Gilles Barthe,
Javier Lopez,
2010,
IWSEC 2010.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
POPL.
Gilles Barthe,
G. Barthe,
2011,
ESOP 2011.
Jean-Louis Lanet,
Gilles Barthe,
Traian Muntean,
2004
.
Thierry Coquand,
Gilles Barthe,
G. Barthe,
2001
.
Gilles Barthe,
Sabrina Tarento,
Jan Cederquist,
2004
.
Benjamin Grégoire,
Gilles Barthe,
Marieke Huisman,
2006
.
Benjamin Grégoire,
Gilles Barthe,
François Dupressoir,
2017,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Bogdan Warinschi,
Tamara Rezk,
2010
.
Gilles Barthe,
Gerardo Schneider,
Alberto Pardo,
2011,
SEFM.
Gilles Barthe,
Frank S. Boer,
F. S. Boer,
2008
.
Jean-Louis Lanet,
Gilles Barthe,
Traian Muntean,
2005
.
Gilles Barthe,
Cédric Fournet,
C. Fournet,
2007
.
Gilles Barthe,
Manuel V. Hermenegildo,
G. Barthe,
2010
.
Benjamin Grégoire,
Gilles Barthe,
David Pichardie,
2006
.
Gilles Barthe,
Manuel V. Hermenegildo,
G. Barthe,
2010,
VMCAI.
Gilles Barthe,
Cédric Fournet,
C. Fournet,
2008,
TGC.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014
.
M. Hofmann,
I. Stark,
Lennart Beringer,
2017
.
G. Barthe,
Y. Yarom,
P. Schwabe,
2022,
IACR Cryptol. ePrint Arch..
Frank S. de Boer,
Gilles Barthe,
F. S. Boer,
2008,
FMOODS.
John C. Mitchell,
G. Barthe,
A. Scedrov,
2018,
Journal of Cryptology.
Adam T. Geller,
G. Barthe,
Ranjit Jhala,
2022,
Proc. ACM Program. Lang..
G. Barthe,
S. Heraud,
2009
.
Gian Pietro Farina,
G. Barthe,
Marco Gaboardi,
2016
.
G. Barthe,
M. Ying,
Li Zhou,
2019,
LICS.
Bernhard Schölkopf,
Matthew Lentz,
Manuel Gomez-Rodriguez,
2020,
ArXiv.
Roberta De Viti,
P. Druschel,
B. Scholkopf,
2020,
2011.08069.
Ugo Dal Lago,
Gilles Barthe,
Martin Avanzini,
2021,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Pierre-Yves Strub,
Steve Kremer,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Benjamin Grégoire,
Gilles Barthe,
Juan Manuel Crespo,
2013,
CCS.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2012,
CPP.
David Pointcheval,
Gilles Barthe,
Santiago Zanella Béguelin,
2012,
CCS.
Benjamin Grégoire,
Gilles Barthe,
Juan Manuel Crespo,
2012,
SAS.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2012,
MPC.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2012,
POST.
Gilles Barthe,
Yassine Lakhnech,
Mathilde Duclos,
2011,
FPS.
Bruce M. Kapron,
Gilles Barthe,
Yassine Lakhnech,
2010,
CCS '10.
Gilles Barthe,
Bogdan Warinschi,
Tamara Rezk,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2009,
POPL '09.
Gilles Barthe,
Marco Gaboardi,
Borja Balle,
2018,
NeurIPS.
Borja Balle,
Marco Gaboardi,
Gilles Barthe,
2020,
J. Priv. Confidentiality.
Gilles Barthe,
Manuel Barbosa,
José Bacelar Almeida,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
G. Barthe,
2020,
Foundations of Probabilistic Programming.
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
.
Gilles Barthe,
Federico Olmedo,
G. Barthe,
2013,
ICALP.
Gilles Barthe,
Justin Hsu,
Kevin Liao,
2019,
Proc. ACM Program. Lang..
Gilles Barthe,
Justin Hsu,
Tetsuya Sato,
2019,
AISTATS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2018,
Proc. ACM Program. Lang..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
ArXiv.
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..
Bernhard Schölkopf,
Amir-Hossein Karimi,
Isabel Valera,
2020,
ArXiv.
Amir-Hossein Karimi,
Gilles Barthe,
Borja Balle,
2019,
AISTATS.
Benjamin Grégoire,
Gilles Barthe,
Vincent Laporte,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Gilles Barthe,
Olivier Pons,
G. Barthe,
2001,
FoSSaCS.
Gilles Barthe,
Florian Kerschbaum,
Michael Hicks,
2014,
Dagstuhl Reports.
Gilles Barthe,
Hoeteck Wee,
Miguel Ambrona,
2017,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Borja Balle,
Marco Gaboardi,
2019,
NeurIPS.
Bernd Finkbeiner,
Holger Hermanns,
Pedro R. D'Argenio,
2017,
ESOP.
Ralph Matthes,
Gilles Barthe,
Gustavo Betarte,
2014,
TYPES.
Gilles Barthe,
G. Barthe,
2005,
Mathematical Structures in Computer Science.
Gilles Barthe,
Guillaume Dufay,
G. Barthe,
2005,
FOSAD.
Gilles Barthe,
Salvador V. Cavadini,
G. Barthe,
2007
.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2015,
WINE.
Justin Hsu,
G. Barthe,
M. Ying,
2019,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Gilles Barthe,
Marc Gourjon,
2021,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
François-Xavier Standaert,
Pierre-Alain Fouque,
2019,
ESORICS.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
EUROCRYPT.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2015,
EUROCRYPT.
John Hatcliff,
Morten Heine Sørensen,
Gilles Barthe,
1999,
High. Order Symb. Comput..
Gilles Barthe,
Alejandro Ríos,
Fairouz Kamareddine,
1997,
ALP/HOA.
Gilles Barthe,
John Hatcliff,
Morten Heine Sørensen,
1997,
MFPS.
Gilles Barthe,
G. Barthe,
1999,
Inf. Comput..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
George Danezis,
Benjamin Grégoire,
Gilles Barthe,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2012,
TOPL.
David Pichardie,
César Kunz,
Gilles Barthe,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Gilles Barthe,
Manuel Barbosa,
François Dupressoir,
2016,
USENIX Security Symposium.
Gilles Barthe,
David Pichardie,
Gustavo Betarte,
2014,
IACR Cryptol. ePrint Arch..
Herman Geuvers,
Gilles Barthe,
G. Barthe,
1995,
HOA.
Gilles Barthe,
David Pichardie,
Delphine Demange,
2014,
TOPL.
Steve Kremer,
Gilles Barthe,
Charlie Jacomme,
2020,
LICS.
G. Barthe,
Niki Vazou,
Elizaveta Vasilenko,
2022,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Peter Schwabe,
Gilles Barthe,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2011,
CRYPTO.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2013,
FOSAD.
Gilles Barthe,
Juan Manuel Crespo,
César Kunz,
2016,
J. Log. Algebraic Methods Program..
Luís Pinto,
Gilles Barthe,
Tarmo Uustalu,
2004,
Mathematical Structures in Computer Science.
Thierry Coquand,
Gilles Barthe,
G. Barthe,
2000,
APPSEM.
Gilles Barthe,
Juan Manuel Crespo,
César Kunz,
2013,
LFCS.
Gilles Barthe,
Juan Manuel Crespo,
César Kunz,
2011,
FM.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2009,
Formal Aspects in Security and Trust.
Pedro R. D'Argenio,
Tamara Rezk,
Gilles Barthe,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Gilles Barthe,
Laura Kovács,
Matteo Maffei,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Benjamin Grégoire,
Gilles Barthe,
Justin Hsu,
2016,
POPL.
Gilles Barthe,
Tamara Rezk,
Amitabh Basu,
2004,
Comput. Lang. Syst. Struct..
Gilles Barthe,
David Pichardie,
Tamara Rezk,
2007,
Mathematical Structures in Computer Science.
Gilles Barthe,
David Pichardie,
Vlad Rusu,
2006,
FLOPS.
Pierre Courtieu,
Gilles Barthe,
Simão Melo de Sousa,
2005,
Journal of Automated Reasoning.
Gilles Barthe,
Gerardo Schneider,
Mariela Pavlova,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Benjamin Grégoire,
Gilles Barthe,
Fernando Pastawski,
2005,
TLCA.
Gilles Barthe,
Tamara Rezk,
G. Barthe,
2005,
TLDI '05.
Gilles Barthe,
Sabrina Tarento,
G. Barthe,
2004,
TYPES.
Gilles Barthe,
Leonor Prensa Nieto,
G. Barthe,
2004,
FMSE '04.
Gilles Barthe,
Sabrina Tarento,
J. G. Cederquist,
2004,
IJCAR.
Sorin Stratulat,
Gilles Barthe,
G. Barthe,
2003,
RTA.
Gilles Barthe,
Venanzio Capretta,
Olivier Pons,
2003,
Journal of Functional Programming.
Pierre Courtieu,
Gilles Barthe,
Simão Melo de Sousa,
2002,
AMAST.
Pierre Courtieu,
Gilles Barthe,
G. Barthe,
2002,
TPHOLs.
Gilles Barthe,
Simão Melo de Sousa,
Guillaume Dufay,
2002,
VMCAI.
Gilles Barthe,
Marieke Huisman,
Simão Melo de Sousa,
2001,
E-smart.
Gilles Barthe,
Bernard P. Serpette,
Simão Melo de Sousa,
2001,
ESOP.
Gilles Barthe,
Femke van Raamsdonk,
G. Barthe,
2000,
FoSSaCS.
Gilles Barthe,
Paul-André Melliès,
G. Barthe,
1996,
CSL.
Gilles Barthe,
Hugo Elbers,
G. Barthe,
1996,
DISCO.
Gilles Barthe,
Hendrik Pieter Barendregt,
Mark Ruys,
1995,
TYPES.
Gilles Barthe,
G. Barthe,
1999
.
Gilles Barthe,
Marco Gaboardi,
Lars Birkedal,
2018,
ESOP.
Alexandra Silva,
Gilles Barthe,
Justin Hsu,
2018,
ICALP.
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2017,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Gilles Barthe,
Michael Backes,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Gilles Barthe,
Exequiel Rivas,
G. Barthe,
2011,
TGC.
Gilles Barthe,
Tamara Rezk,
Salvador Cavadini,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Gilles Barthe,
Gustavo Betarte,
Juan Diego Campo,
2011,
FM.
Elaine Shi,
Benjamin Grégoire,
Gilles Barthe,
2018,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Boris Köpf,
G. Barthe,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Ugo Dal Lago,
Francesco Gavazzo,
Gilles Barthe,
2020,
ESOP.
Gilles Barthe,
G. Barthe,
1995,
TLCA.
Ugo Dal Lago,
G. Barthe,
Francesco,
2020
.
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2020,
Proc. ACM Program. Lang..
A. P. Sistla,
Mahesh Viswanathan,
G. Barthe,
2020,
Artifact Digital Object Group.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2020,
LICS.
A. P. Sistla,
Mahesh Viswanathan,
G. Barthe,
2019,
LICS.
Gilles Barthe,
Thomas Espitau,
Justin Hsu,
2016,
CAV.
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
ICALP.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2016,
SIGL.
G. Barthe,
Pierre-Yves Strub,
M. Ying,
2022,
Proc. ACM Program. Lang..
Gilles Barthe,
Justin Hsu,
Mingsheng Ying,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Justin Hsu,
G. Barthe,
M. Ying,
2019,
ArXiv.
Mehdi Tibouchi,
Benjamin Grégoire,
Gilles Barthe,
2014,
IACR Cryptol. ePrint Arch..
Borja Balle,
G. Barthe,
Marco Gaboardi,
2018,
NeurIPS.
Craig Disselkoen,
Gilles Barthe,
Deian Stefan,
2021,
ArXiv.
G. Barthe,
B. Grégoire,
P. Schwabe,
2023,
2023 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
.
Rui Qi Sim,
G. Barthe,
Daniel Genkin,
2023,
2023 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire,
Gilles Barthe,
Swarn Priya,
2021,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
David Pichardie,
Sandrine Blazy,
2019
.
G. Barthe,
D. Stefan,
S. Cauligi,
2019,
PLDI.
Mehdi Tibouchi,
Benjamin Grégoire,
Gilles Barthe,
2018,
EUROCRYPT.
G. Barthe,
Jean-Louis Lanet,
B. Grégoire,
2005
.
Gilles Barthe,
Bernard P. Serpette,
G. Barthe,
2000,
LPAR.
G. Barthe,
François-Xavier Standaert,
Pierre-Alain Fouque,
2020
.
Bruce M. Kapron,
Gilles Barthe,
Yassine Lakhnech,
2010,
LPAR.
Benjamin Grégoire,
Gilles Barthe,
François Dupressoir,
2015,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2011,
ProvSec.
Gilles Barthe,
Miguel Ambrona,
Benedikt Schmidt,
2016,
EUROCRYPT.
M. J. Frade,
G. Barthe,
Eduardo Giménez,
2004
.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2019
.
Justin Hsu,
G. Barthe,
Marco Gaboardi,
2019,
AISTATS.
Matteo Maffei,
G. Barthe,
L. Kovács,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
LPAR.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2015,
LPAR.
Sumit Gulwani,
Gilles Barthe,
Juan Manuel Crespo,
2013,
PPoPP '13.
Gilles Barthe,
Gustavo Betarte,
Juan Diego Campo,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Dominique Devriese,
Frank Piessens,
Gilles Barthe,
2012,
FMOODS/FORTE.
Benjamin Grégoire,
Gilles Barthe,
Deian Stefan,
2019,
PLDI.
Benjamin Grégoire,
Gilles Barthe,
Vincent Laporte,
2017,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2018,
PLDI.
Gilles Barthe,
Amir-Hossein Karimi,
Isabel Valera,
2020,
AIES.
John Hatcli,
J. Hatcliff,
M. Sørensen,
1997,
PLILP.
Benjamin Grégoire,
Gilles Barthe,
Thomas Espitau,
2017,
Proc. ACM Program. Lang..
G. Barthe,
B. Grégoire,
Sandrine Blazy,
2019,
IACR Cryptol. ePrint Arch..
G. Barthe,
C. Luna,
J. Campo,
2019,
Journal of Automated Reasoning.
Gilles Barthe,
Manuel Barbosa,
François Dupressoir,
2016,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
Leonor Prensa Nieto,
G. Barthe,
2007,
J. Comput. Secur..
Gilles Barthe,
Alejandro Russo,
Tamara Rezk,
2007,
TSEC.
Gilles Barthe,
Martijn Warnier,
Tamara Rezk,
2006,
QAPL.
Gilles Barthe,
Tamara Rezk,
Amitabh Basu,
2022
.
Sumit Gulwani,
G. Barthe,
César Kunz,
2013,
PPoPP '13.
Pierangela Samarati,
Gilles Barthe,
Evangelos Markatos,
2016,
Lecture Notes in Computer Science.
Benjamin Grégoire,
Gilles Barthe,
Manuel Barbosa,
2017,
IACR Cryptol. ePrint Arch..
G. Barthe,
Y. Yarom,
P. Schwabe,
2023,
USENIX Security Symposium.
G. Barthe,
Pierre-Alain Fouque,
B. Grégoire,
2014,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
John Hatcliff,
Morten Heine Sørensen,
2001,
Theor. Comput. Sci..
Gilles Barthe,
G. Barthe,
1998,
ICALP.
Gilles Barthe,
Femke van Raamsdonk,
G. Barthe,
1997,
ALP/HOA.
Gilles Barthe,
Gustavo Betarte,
Juan Diego Campo,
2013,
TYPES.
G. Barthe,
G. Barthe,
1998
.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2011,
CT-RSA.
João Saraiva,
Gilles Barthe,
Peter Dybjer,
2000
.
Gilles Barthe,
David Pichardie,
Gustavo Betarte,
2020,
Journal of Automated Reasoning.
Manuel Barbosa,
Vincent Laporte,
José Bacelar Almeida,
2020,
INDOCRYPT.
G. Barthe,
B. Grégoire,
César Kunz,
2006,
TOPL.
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2021,
IACR Cryptol. ePrint Arch..
Santiago Zanella-Béguelin,
Santiago Zanella-Béguelin,
G. Barthe,
2010
.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gilles Barthe,
David Pichardie,
Delphine Demange,
2012,
ESOP.
Benjamin Grégoire,
Gilles Barthe,
Colin Riba,
2009,
LerNet ALFA Summer School.
Gilles Barthe,
César Kunz,
G. Barthe,
2011,
TOPL.
Gilles Barthe,
Santiago Zanella Béguelin,
Manuel Barbosa,
2012,
IACR Cryptol. ePrint Arch..
Gilles Barthe,
César Kunz,
G. Barthe,
2009,
FOSAD.
Benjamin Grégoire,
Gilles Barthe,
David Pichardie,
2008,
FMCO.
Benjamin Grégoire,
Gilles Barthe,
Mariela Pavlova,
2008,
IJCAR.
Gilles Barthe,
Ando Saabas,
Tamara Rezk,
2005,
Formal Aspects in Security and Trust.
G. Barthe,
Tamara Rezk,
Ando Saabas,
2005
.
Gilles Barthe,
Gustavo Betarte,
Juan Diego Campo,
2017,
Journal of Automated Reasoning.
Jean-Louis Lanet,
Benjamin Grégoire,
Julien Charles,
2006,
FMCO.
Gilles Barthe,
G. Barthe,
1999,
Journal of Functional Programming.
Gilles Barthe,
G. Barthe,
1998,
MFCS.
Benjamin Lucien Kaminski,
Justin Hsu,
G. Barthe,
2020,
Proc. ACM Program. Lang..
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2019,
ArXiv.
Joost-Pieter Katoen,
Gilles Barthe,
Justin Hsu,
2019,
ArXiv.
Marco Gaboardi,
Gilles Barthe,
Deepak Garg,
2017,
POPL.
G. Barthe,
Fairouz Kamareddine,
1997
.
C. Kirchner,
G. Barthe,
Horatiu Cirstea,
2003,
POPL '03.
D. Tullsen,
G. Barthe,
D. Stefan,
2019,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
G. Barthe,
D. Stefan,
Craig Disselkoen,
2021,
2022 IEEE Symposium on Security and Privacy (SP).
G. Barthe,
David Pichardie,
C. Luna,
2014,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
Journal of Cryptographic Engineering.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
G. Barthe,
P. Schwabe,
David Pichardie,
2022,
SAS.
Gilles Barthe,
Laurent Mauborgne,
Martín Ochoa,
2014,
POST.
G. Barthe,
Y. Lakhnech,
M. Duclos,
2011,
Foundations and Practice of Security.
G. Barthe,
Pierre-Yves Strub,
François-Xavier Standaert,
2017,
EUROCRYPT.
Gilles Barthe,
Bernard P. Serpette,
G. Barthe,
1999,
Fuji International Symposium on Functional and Logic Programming.