CRoCS wiki
CRoCS wiki
Centre for Research on Cryptography and Security
  • Show page
  • Site Tools
    • Site Tools
    • Recent Changes
    • Media Manager
    • Sitemap
  • Page Tools
    • Page Tools
    • Show pagesource
    • Old revisions
    • Backlinks
    • Fold/unfold all
    • Back to top
  • Show page
  • Log In

  1. You are here
  2. Home
  3. Publications
  4. one
  5. 2024-usenix-jancar

Sidebar

Quick links

Homepage

Lab Twitter

Research topics

Publications

Open positions

Bc & Mgr theses

Internal wiki

Storage server

Photogallery

  • Share via
    • Share via...
    • Twitter
    • LinkedIn
    • Facebook
    • Pinterest
    • Telegram
    • WhatsApp
    • Yammer
    • Reddit
  • Recent Changes
  • Send via e-Mail
  • Print
  • Permalink

  • “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