https://github.com/crocs-muni/ct-tools
A repository of tools for verifying constant-timeness
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.9%) to scientific vocabulary
Keywords
Repository
A repository of tools for verifying constant-timeness
Basic Info
- Host: GitHub
- Owner: crocs-muni
- Language: HTML
- Default Branch: gh-pages
- Homepage: https://crocs-muni.github.io/ct-tools/
- Size: 188 KB
Statistics
- Stars: 14
- Watchers: 6
- Forks: 3
- Open Issues: 4
- Releases: 0
Topics
Metadata Files
README.md
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 and “These results must be false”: A usability evaluation of constant-time analysis tools with addition of more tools. See the page 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!
Owner
- Name: CRoCS
- Login: crocs-muni
- Kind: organization
- Location: Faculty of Informatics, Masaryk University, Brno
- Website: https://crocs.fi.muni.cz
- Repositories: 95
- Profile: https://github.com/crocs-muni
Centre for Research on Cryptography and Security
GitHub Events
Total
- Issues event: 7
- Watch event: 5
- Issue comment event: 1
- Push event: 4
Last Year
- Issues event: 7
- Watch event: 5
- Issue comment event: 1
- Push event: 4
Issues and Pull Requests
Last synced: 10 months ago
All Time
- Total issues: 5
- Total pull requests: 0
- Average time to close issues: 5 months
- Average time to close pull requests: N/A
- Total issue authors: 1
- Total pull request authors: 0
- Average comments per issue: 0.2
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 3
- Pull requests: 0
- Average time to close issues: 5 months
- Average time to close pull requests: N/A
- Issue authors: 1
- Pull request authors: 0
- Average comments per issue: 0.33
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- J08nY (15)