Verifpal
From Just Solve the File Format Problem
(Difference between revisions)
Dan Tobias (Talk | contribs) (Created page with "{{FormatInfo |formattype=electronic |subcat=Security |extensions={{ext|vp}} }} '''Verifpal''' is a language in which the characteristics of an encryption-based system can be d...") |
Revision as of 02:12, 29 August 2019
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.
