Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/verifpal

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/verifpal

Or alternatively:

emerge --autounmask-write -a sci-mathematics/verifpal

Package Information

Description:

Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.

Homepage:

https://verifpal.com/ https://source.symbolic.software/verifpal/verifpal/

License:

GPL-3+

Versions

Metadata

Description

• Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.

Maintainers

• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    Verifpal is new software for verifying the security of cryptographic
    protocols. Building upon contemporary research in symbolic formal
    verification, Verifpal’s main aim is to appeal more to real-world
    practitioners, students and engineers without sacrificing comprehensive
    formal verification features.
  </longdescription>
</pkgmetadata>

Lint Warnings

• [Error] Missing md5-cache for ebuild verifpal-0.27.0

Files

• verifpal-0.27.0-no-external-generate.patch

Manifest