Update README.md

README.md

@@ -1,11 +1,15 @@
+
+<p align="center"><img src="assets/img/logo.svg" align="center" alt="CT"/></p>
+
 ## Constant-timeness verification tools
 
 This repository contains a list of tools for testing and verification of constant-timeness of programs.
-The list is based mostly on the work in [*“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks*](https://crocs.fi.muni.cz/public/papers/usablect_sp22) with addition of more tools. 
-See [the page](https://crocs-muni.github.io/ct-tools/) for more.
+The list is based mostly on the work in [*“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks*](https://crocs.fi.muni.cz/public/papers/usablect_sp22)
+and [“These results must be false”: A usability evaluation of constant-time analysis tools](https://crocs.fi.muni.cz/public/papers/usablect_usenix24)
+with addition of more tools. See [the page](https://crocs-muni.github.io/ct-tools/) for more.
 
 ### Contributing
 
 Do you have a new tool? Do you have more data on any of the tools we have?
 Did you create a tutorial for a tool?
-Make a PR and contribute your work!
+Make a PR and contribute your work!