Gentoo Packages

Search

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

• [Warning] Missing md5-cache for version 0.27.0. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

Files

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

Manifest