Results for “crypto-calendar”
3 skills
trailofbits Constant Time Analysis
Analyzes cryptographic code to detect operations that leak secret data through execution timing variations, supporting multiple languages.
6k · bundle
trailofbits Constant Time Testing
Detect timing side channels in cryptographic code using formal, symbolic, dynamic, and statistical testing tools.
6k · bundle
trailofbits Crypto Protocol Diagram
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, or formal models (ProVerif/Tamarin) and generates Mermaid sequence diagrams with cryptographic annotations.
6k · bundle