Results for “phase-diagrams”
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
kursku gsd-validate-phase
Retroactively audit and fill Nyquist validation gaps for a completed phase
55