Gilles Barthe

SoK: Computer-Aided Cryptography — Oakland 2021

Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

SoK: Practical Foundations for Software Spectre Defenses — Oakland 2022

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan