Differences

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

--- public:papers:usablect_sp22 [2021-12-10 17:12] – [“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks [IEEE S&P 2022]] xjancar
+++ public:papers:usablect_sp22 [2022-05-24 00:43] (current) – [Research artifacts (supplementary material)] xjancar
@@ Line 26: / Line 26: @@
 <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>
@@ Line 47: / Line 47: @@
 ===== Research artifacts (supplementary material) =====
+{{ :public:papers:2021_usablect_codebook.pdf |Codebook}}
+[[https://crocs-muni.github.io/ct-tools/|Page on constant-time verification tools]]