Move back to index.md

README.md

@@ -1,33 +1,11 @@
 ## Constant-timeness verification tools
 
-This page lists tools for testing and verification of constant-timeness of programs.
-The table 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. 
+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.
 
+### Contributing
 
-![Oprah giving everyone a tool](/assets/img/oprah.jpg)
-
-## Tools
-
-<table>
-<thead>
-	<th>Name</th>
-	<th>Year</th>
-	<th>Target</th>
-	<th>Technique</th>
-	<th>Guarantees</th>
-</thead>
-{% for tool in site.tools %}
-	<tr>
-		<td><a href="{{ tool.url | relative_url }}">{{ tool.name }}</a></td>
-		<td>{{ tool.year }}</td>
-		<td>{{ tool.target }}</td>
-		<td>{{ tool.technique }}</td>
-		<td>{{ tool.guarantees }}</td>
-	</tr>
-{% endfor %}
-</table>
-
-## Resources
-
-- <https://neuromancer.sk/article/26>
-- <https://crocs.fi.muni.cz/public/papers/usablect_sp22>
+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!

_config.yml

@@ -1,8 +1,4 @@
 theme: jekyll-theme-cayman
-readme_index:
-  enabled:          true
-  remove_originals: false
-  with_frontmatter: false
 collections:
   tools:
     output: true

index.md

@@ -0,0 +1,34 @@
+## Constant-timeness verification tools
+
+This page lists tools for testing and verification of constant-timeness of programs.
+The table 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. 
+Each tool has its own page with more information and resources, sometimes **even a tutorial on using the tool**.
+
+<img src="/asssets/img/oprah.jpg" alt="Oprah giving everyone a tool" style="display: block; margin-left: auto; margin-right: auto;/>
+
+
+## Tools
+
+<table>
+<thead>
+	<th>Name</th>
+	<th>Year</th>
+	<th>Target</th>
+	<th>Technique</th>
+	<th>Guarantees</th>
+</thead>
+{% for tool in site.tools | sort: "name" %}
+	<tr>
+		<td><a href="{{ tool.url | relative_url }}">{{ tool.name }}</a></td>
+		<td>{{ tool.year }}</td>
+		<td>{{ tool.target }}</td>
+		<td>{{ tool.technique }}</td>
+		<td>{{ tool.guarantees }}</td>
+	</tr>
+{% endfor %}
+</table>
+
+## Resources
+
+- <https://neuromancer.sk/article/26>
+- <https://crocs.fi.muni.cz/public/papers/usablect_sp22>