Verifpal

File Format
Name	Verifpal
Ontology	Electronic File Formats Security Verifpal
Extension(s)	.vp

Verifpal is a language in which the characteristics of an encryption-based system can be described (like who holds or generates which keys) and the Verifpal software can determine the vulnerabilities associated with it. Its user manual begins with a manga-style comic. It is free, open-source software, available for multiple platforms.

Links

• Official site
• User manual
• Source repository