https://github.com/crocs-muni/ct-tools
A repository of tools for verifying constant-timeness
https://github.com/crocs-muni/ct-tools
constant-time timing-attacks
Last synced: 5 months ago
JSON representation
A repository of tools for verifying constant-timeness
- Host: GitHub
- URL: https://github.com/crocs-muni/ct-tools
- Owner: crocs-muni
- Created: 2022-04-13T13:53:00.000Z (about 4 years ago)
- Default Branch: gh-pages
- Last Pushed: 2025-02-10T15:34:26.000Z (over 1 year ago)
- Last Synced: 2025-09-10T06:17:15.014Z (10 months ago)
- Topics: constant-time, timing-attacks
- Language: HTML
- Homepage: https://crocs-muni.github.io/ct-tools/
- Size: 197 KB
- Stars: 18
- Watchers: 6
- Forks: 3
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## 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)
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!