constant-time-analysis
๐Plugintrailofbits/skills
|Trail of Bits verification plugin that detects compiler-induced timing side-channels in cryptographic code โ credited with finding a timing side-channel in ML-DSA signing (RustCrypto).
Part of
trailofbits-skills
Installation
/plugin marketplace add trailofbits/skills/plugin install constant-time-analysis@trailofbitsMore from this repository10
A Claude Code plugin marketplace from Trail of Bits providing skills for AI-assisted security analysis, testing, and development workflows.
Runs Semgrep static analysis for security vulnerability detection and code quality enforcement, from the Trail of Bits Skills Marketplace for AI-assisted security workflows.
A Claude Code plugin marketplace from Trail of Bits providing skills for AI-assisted security analysis, testing, and development workflows.
A Claude Code plugin marketplace from Trail of Bits providing skills for AI-assisted security analysis, testing, and development workflows.
A Claude Code plugin marketplace from Trail of Bits providing skills for AI-assisted security analysis, testing, and development workflows.
Teaches design patterns for workflow-based Claude Code skills and provides a review agent for auditing existing skills
Creates language variants of existing Semgrep rules with proper applicability analysis and test-driven validation
YARA-X detection rule authoring with linting and quality analysis
Property-based testing guidance for multiple languages and smart contracts
Plugin