Cybersecurity
ProVerif Model Generator
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models.
- Publisher / source
- trailofbits/skills (found on skills.sh, an awesome list, the CSV list)
- Upstream record
- trailofbits/skills
- Version
- Version 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
705339f9f8e942319a73489d67e02ac4a6f52f7fe69900b8662fb28adb681989