@inproceedings{ FDJ+24,
  author        = {Marcel Fourn\'e and Daniel De Almeida Braga and Jan Jancar and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre-Alain Fouque and Yasemin Acar},
  title         = {``These results must be false'': A usability evaluation of constant-time analysis tools},
  booktitle     = {Proceedings of the 33rd USENIX Security Symposium},
  publisher     = {USENIX Association},
  year          = {2024},
  pages         = {to appear}
  note          = {\url{http://cryptojedi.org/papers/\#usect2}},
}