VerifHub allows Verifpal® users to easily share and discuss Verifpal models of cryptographic protocols. The VerifHub service provides unique URIs for each shared model which includes a syntax-highlighted model, an automatically generated diagram and a summary of the analysis results.

Share a Verifpal Model

Sharing Verifpal models via VerifHub can be done from within Verifpal itself:

# Run Verifpal analysis with a --verifhub argument: verifpal verify model.vp --verifhub

After analysis, Verifpal will open your browser to complete model submission.

Public Submissions

Privacy Policy

VerifHub is a service offered under the following terms:

© Copyright 2019- Nadim Kobeissi. All Rights Reserved. “Verifpal” and the “Verifpal” logo/mascot are registered trademarks of Nadim Kobeissi. Verifpal software is provided as free and open source software, licensed under the GPLv3. Verifpal User Manual, as well as this website, are provided under the CC BY-NC-ND 4.0 license. Published by Symbolic Software.