Verified record · from the answer index
mermaid-to-proverif
skilltested · static-verifiedscore 54/100signed passport ✓3,706 uses
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, veri
Declared tools (1)
mermaid-to-proverif
skill:trailofbits/skills/mermaid-to-proverif · published by trailofbits · source repository