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...") |
Dan Tobias (Talk | contribs) |
||
| Line 3: | Line 3: | ||
|subcat=Security | |subcat=Security | ||
|extensions={{ext|vp}} | |extensions={{ext|vp}} | ||
| + | |released=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 [[Comics|comic]]. It is free, open-source software, available for multiple platforms. | + | '''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 [[Comics|comic]]. It is free, open-source software, available for multiple platforms. It was developed in the [[Go]] language. |
== Links == | == Links == | ||
Latest revision as of 02:14, 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. It was developed in the Go language.
