1. Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean: Typing High-Speed Cryptography against Spectre v1. S&P 2023. [Paper]
  2. Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Swarn Priya: Structured Leakage and Applications to Cryptographic Constant-Time and Cost. CCS 2021. [Paper]
  3. Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno: SoK: Computer-Aided Cryptography. S&P 2021. [Paper]
  4. Jose Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. S&P 2020. [Paper]
  5. Jose Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub: Jasmin: High-Assurance and High-Speed Cryptography. CCS 2017. [Paper]
  6. Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Beguelin: Computer-Aided Security Proofs for the Working Cryptographer. CRYPTO 2011 [Paper]
  7. Gilles Barthe, Benjamin Grégoire, Santiago Zanella Beguelin: Formal certification of code-based cryptographic proofs. POPL 2009 [Paper]
Last modified: Thu Jun 29 17:32:51 CEST 2023