Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
public:papers:usablect_usenix24 [2024-05-07 12:54] – xjancarpublic:papers:usablect_usenix24 [2025-02-07 22:10] (current) – xjancar
Line 26: Line 26:
  
 <collapse id="bibtex" collapsed="true"> <collapse id="bibtex" collapsed="true">
 +  @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},
 +    pages         = {6705-6722},
 +    publisher     = {USENIX Association},
 +    year          = {2024}
 +  }
 </collapse> </collapse>
  
Line 42: Line 50:
 ===== Research artifacts (supplementary material) ===== ===== Research artifacts (supplementary material) =====
  
-[[https://zenodo.org/records/10839741|Artifact with documentation, tutorials, and installation scripts for various cryptographic constant time analysis tools.]]+[[https://doi.org/10.5281/zenodo.8214064|Artifact with documentation, tutorials, and installation scripts for various cryptographic constant time analysis tools.]]
  
 [[https://crocs-muni.github.io/ct-tools/|Page on constant-time verification tools]] [[https://crocs-muni.github.io/ct-tools/|Page on constant-time verification tools]]