VerifHub
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
- invitation.vp (12 Sep 24 10:42 UTC)
- naxos.vp (20 Dec 23 13:11 UTC)
- secsync_clients_ephemeral.vp (18 Oct 23 09:39 UTC)
- chap.vp (16 Oct 23 22:54 UTC)
- rfc1004.vp (16 Oct 23 19:03 UTC)
- 4_way_handshake_wpa2.vp (15 Oct 23 15:21 UTC)
- otr_ake.vp (15 May 23 19:18 UTC)
- test.vp (06 Mar 23 20:34 UTC)
- naisho_message.vp (06 Mar 23 16:47 UTC)
- naisho_snapshot.vp (06 Mar 23 16:44 UTC)
- simple_aead.vp (30 Jan 23 22:36 UTC)
- test_demo.vp (02 Dec 22 22:57 UTC)
- test_demo.vp (02 Dec 22 22:56 UTC)
- test_demo.vp (02 Dec 22 22:56 UTC)
- test_demo.vp (02 Dec 22 22:55 UTC)
- exemple_book.vp (02 Dec 22 22:41 UTC)
- exemple_book.vp (02 Dec 22 22:39 UTC)
- test.vp (02 Dec 22 21:16 UTC)
- test.vp (02 Dec 22 21:15 UTC)
- challenge_response_protocol.vp (02 Dec 22 12:19 UTC)
- communication-obfuscated-no-bob-to-bob-hsm.vp (29 Dec 21 21:53 UTC)
- dh_equiv.vp (01 Jul 21 20:44 UTC)
- ex4-5.vp (11 Mar 21 03:13 UTC)
- test.vp (21 Feb 21 16:33 UTC)
- DTCP_v1.0.vp (18 Dec 20 16:32 UTC)
- Commitment.vp (21 Nov 20 18:16 UTC)
- CI_plus_v1.3.2_AKMC.vp (14 Nov 20 14:18 UTC)
- simple.vp (12 Nov 20 08:38 UTC)
- HDCPv21_AKE.vp (31 Oct 20 20:29 UTC)
- test6.vp (17 Jul 20 15:41 UTC)
- static_pwd_shares.vp (05 Jul 20 09:24 UTC)
- monokex-x.vp (29 Jun 20 11:44 UTC)
- saltchannel.vp (29 Jun 20 10:53 UTC)
- signal_small_nophase.vp (28 Jun 20 21:32 UTC)
- protonmail.vp (28 Jun 20 21:26 UTC)
- lc-dp-3t.vp (28 Jun 20 21:25 UTC)
- firefoxsync.vp (28 Jun 20 21:24 UTC)
- signal_small.vp (28 Jun 20 21:24 UTC)
- needham-schroeder-pk.vp (28 Jun 20 21:20 UTC)
Privacy Policy
VerifHub is a service offered under the following terms:
- Verifpal models that are submitted to VerifHub remain the full intellectual property of the submitter.
- VerifHub URIs are private unless shared by the model submitter, and, due to their length, are impossible to guess. Therefore, the submitter controls whether their uploaded models are revealed to the public.
- All VerifHub models are uploaded via TLS 1.3 transport layer encryption.
- Aside from the submitted model, VerifHub and Symbolic Software do not collect or store any information from the submitter. No information of any kind is collected or stored about those who view submitted models.
- The VerifHub submission system uses the Google reCAPTCHA service in order to prevent abuse. As such, some information about the submitter (such as IP address) may be revealed to Google Inc.
© 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.