Gilles Barthe

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code
Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira and Peter Schwabe,
IACR Transactions on Cryptographic Hardware and Embedded Systems, Ruhr-University of Bochum, 2025.
Keywords: constant-time, cryptoimplementations, jasmin, pre-print PDF, BibTeX

@InProceedings{2025-ches-jancar,
  title = {Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code},
  author = {Santiago Arranz-Olmos and Gilles Barthe and Benjamin Grégoire and Jan Jancar and Vincent Laporte and Tiago Oliveira and Peter Schwabe},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher = {Ruhr-University of Bochum},
  year = {2025},
  keywords = {constant-time, cryptoimplementations, Jasmin},
}

Details

“These results must be false”: A usability evaluation of constant-time analysis tools
Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque and Yasemin Acar,
Proceedings of the 33rd USENIX Security Symposium, USENIX Association, 2024.
Keywords: constant-time, cryptoimplementations, usablesec, libraries, side-channel, pre-print PDF, BibTeX

@InProceedings{2024-usenix-jancar,
  title = {“These results must be false”: A usability evaluation of constant-time analysis tools},
  author = {Marcel Fourné and Daniel De Almeida Braga and Jan Jancar and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre-Alain Fouque and Yasemin Acar},
  booktitle = {Proceedings of the 33rd USENIX Security Symposium},
  publisher = {USENIX Association},
  year = {2024},
  keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel},
}

Details

“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque and Yasemin Acar,
43rd IEEE Symposium on Security and Privacy, IEEE, 2022.
Keywords: constant-time, cryptoimplementations, usablesec, libraries, side-channel, pre-print PDF, BibTeX

@InProceedings{2022-sp-jancar,
  title = {“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks},
  author = {Jan Jancar and Marcel Fourné and Daniel De Almeida Braga and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre-Alain Fouque and Yasemin Acar},
  booktitle = {43rd IEEE Symposium on Security and Privacy},
  publisher = {IEEE},
  address = {San Francisco},
  location = {San Francisco},
  year = {2022},
  keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel},
  language = {eng},
}

Details