Benjamin Grégoire

发表

Benjamin Grégoire, Kostas Papagiannopoulos, Peter Schwabe, 2018, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2018, ESOP.
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).
Mehdi Tibouchi, Benjamin Grégoire, Gilles Barthe, 2018, EUROCRYPT.
Benjamin Grégoire, Gilles Barthe, Juan Manuel Crespo, 2012, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Vincent Laporte, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Benjamin Grégoire, Arnaud Spiwack, Laurent Théry, 2010, ITP.
George Danezis, Benjamin Grégoire, Gilles Barthe, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Benjamin Grégoire, Pierre Corbineau, Hugo Herbelin, 2008, TYPES.
Martin Hofmann, Benjamin Grégoire, Gilles Barthe, 2006, TGC.
Benjamin Grégoire, Gilles Barthe, Colin Riba, 2009, LerNet ALFA Summer School.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2011, CT-RSA.
Benjamin Grégoire, Xavier Leroy, Yves Bertot, 2004, TYPES.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2009, 2009 30th IEEE Symposium on Security and Privacy.
Benjamin Grégoire, Gilles Barthe, Vincent Laporte, 2017, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Daniel Hedin, 2010 .
Benjamin Grégoire, Gilles Barthe, Colin Riba, 2008, CSL.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2013, FOSAD.
Benjamin Grégoire, Gilles Barthe, Michael Backes, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2010, ITP.
Benjamin Grégoire, Jan Olaf Blech, B. Grégoire, 2011, Formal Methods Syst. Des..
Benjamin Grégoire, Enrico Tassi, Yann Régis-Gianas, 2014 .
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.
Benjamin Grégoire, Benjamin Werner, Laurent Théry, 2006, FLOPS.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Benjamin Grégoire, Xavier Leroy, X. Leroy, 2002, ICFP '02.
Benjamin Grégoire, Maxime Dénès, Mathieu Boespflug, 2011, CPP.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2013, J. Comput. Secur..
Benjamin Grégoire, Gilles Barthe, David Pichardie, 2006 .
Mehdi Tibouchi, Benjamin Grégoire, Gilles Barthe, 2014, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, François-Xavier Standaert, Pierre-Alain Fouque, 2019, ESORICS.
Benjamin Grégoire, Gilles Barthe, Benedikt Schmidt, 2015 .
Benjamin Grégoire, Gilles Barthe, Fernando Pastawski, 2005, TLCA.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, IACR Cryptol. ePrint Arch..
Elaine Shi, Benjamin Grégoire, Gilles Barthe, 2018, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2016, CCS.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2012, POST.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2019, Journal of Cryptographic Engineering.
Benjamin Grégoire, Gilles Barthe, Manuel Barbosa, 2017, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2009, POPL '09.
Benjamin Grégoire, Gilles Barthe, Juan Manuel Crespo, 2013, CCS.
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 .
Benjamin Grégoire, Gilles Barthe, Tamara Rezk, 2009, TOPL.
Benjamin Grégoire, Gilles Barthe, Mariela Pavlova, 2008, IJCAR.
Benjamin Grégoire, Gilles Barthe, Pierre-Alain Fouque, 2018, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, François Dupressoir, 2015, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Benedikt Schmidt, 2015, CCS.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2017, EUROCRYPT.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2012, CPP.
Benjamin Grégoire, Gilles Barthe, Marco Gaboardi, 2016, ICALP.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2015, EUROCRYPT.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2017, CCS.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2012, MPC.
Benjamin Grégoire, Pierre-Yves Strub, Steve Kremer, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Benjamin Grégoire, Gilles Barthe, David Pichardie, 2008, FMCO.
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2012, SAS.
Benjamin Grégoire, Pierre Karpman, B. Grégoire, 2016 .
Benjamin Grégoire, Loïc Pottier, Laurent Théry, 2008, Automated Deduction in Geometry.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014 .
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2011, CRYPTO.
Benjamin Grégoire, Assia Mahboubi, A. Mahboubi, 2005, TPHOLs.
Benjamin Grégoire, Gilles Barthe, Juan Manuel Crespo, 2012, SAS.
Benjamin Grégoire, Gilles Barthe, François Dupressoir, 2014, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Deian Stefan, 2019, PLDI.
Benjamin Grégoire, Gilles Barthe, Tamara Rezk, 2006, SAS.
Benjamin Grégoire, Gilles Barthe, César Kunz, 2009, ICFEM.
Benjamin Grégoire, Benjamin Werner, Laurent Théry, 2011, CPP.
Benjamin Grégoire, Gilles Barthe, Thomas Espitau, 2017, LPAR.
Jean-Louis Lanet, Benjamin Grégoire, Julien Charles, 2006, FMCO.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2019, 2020 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2009, Formal Aspects in Security and Trust.
Benjamin Grégoire, Gilles Barthe, François Dupressoir, 2017, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2021, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Peter Schwabe, Gilles Barthe, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire, Gilles Barthe, Swarn Priya, 2021, IACR Cryptol. ePrint Arch..
Jonathan Katz, Benjamin Grégoire, Gilles Barthe, 2021, IACR Cryptol. ePrint Arch..
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.
Benjamin Grégoire, Gilles Barthe, Michael Backes, 2012 .
Benjamin Grégoire, Gilles Barthe, Santiago Zanella Béguelin, 2009, POPL '09.