From 975b02528c70ca4e72886beedb557cb83baa2499 Mon Sep 17 00:00:00 2001 From: J08nY Date: Wed, 6 Mar 2024 14:27:32 +0100 Subject: [PATCH] Add number of tools to page. --- index.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/index.md b/index.md index 2ceafe5..202be29 100644 --- a/index.md +++ b/index.md @@ -6,6 +6,8 @@ This page lists tools for testing and verification of constant-timeness of progr 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**. +There are currently {% site.tools.size %} tools in the table. + ## Tools