constant-time-testing - Test cryptographic code for timing side channels
Detect timing side channels and timing vulnerabilities in cryptographic implementations through static, dynamic, symbolic, formal, and statistical analysis.
Tags
Updated: 2026-10-12Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Identify secret data flows
- Detect timing differences
- Trace secret propagation
- Pinpoint leak locations
- Analyze constant-time violations
- Test compiled implementations
Inputs
- Cryptographic source code
- Compiled cryptographic binaries
- Secret and public test inputs
- Timing measurements
- Target execution environment
Outputs
- Timing analysis results
- Detected timing vulnerabilities
- Leak locations
- Secret propagation traces
- Statistical test findings
Requirements
- Cryptographic implementation
- Timing analysis tooling
- Executable test target
- Access to execution measurements
