mermaid-to-proverif

Creates ProVerif verification models from Mermaid diagrams of cryptographic protocols.

When to use it

Use when converting a cryptographic protocol diagram into a ProVerif model or modeling secrecy, authentication, or forward secrecy properties.

Give it a Mermaid cryptographic protocol diagram; it writes a .pv model and summarizes its queries and modeling assumptions.