Results for “c2-protocols”
2 skills
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
gabrielmoreira protocols-io
Search, browse, and retrieve scientific protocols from protocols.io via REST API, including private protocols with client token authentication.
17 · bundle