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_sp22 [2021-12-10 16:12] – [“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks [IEEE S&P 2022]] xjancarpublic:papers:usablect_sp22 [2022-05-23 22:43] (current) – [Research artifacts (supplementary material)] xjancar
Line 26: Line 26:
  
 <collapse id="bibtex" collapsed="true"> <collapse id="bibtex" collapsed="true">
-@InProceedings{2022-sp-jancar, +  @InProceedings{2022-sp-jancar, 
-   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}, +    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}, 
-   address = {San Francisco}, +    address = {San Francisco}, 
-   booktitle = {43rd IEEE Symposium on Security and Privacy}, +    booktitle = {43rd IEEE Symposium on Security and Privacy}, 
-   keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel}, +    keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel}, 
-   language = {eng}, +    language = {eng}, 
-   location = {San Francisco}, +    location = {San Francisco}, 
-   publisher = {IEEE}, +    publisher = {IEEE}, 
-   title = {“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks}, +    title = {“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks}, 
-   year = {2022} +    year = {2022} 
-}+  }
 </collapse> </collapse>
  
Line 47: Line 47:
 ===== Research artifacts (supplementary material) ===== ===== Research artifacts (supplementary material) =====
  
 +{{ :public:papers:2021_usablect_codebook.pdf |Codebook}}
 +
 +[[https://crocs-muni.github.io/ct-tools/|Page on constant-time verification tools]]