Commit 3702bf19 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Verifpal 0.23.1

parent 21826a15
Pipeline #869 failed with stages
in 61 minutes and 43 seconds
Verifpal 0.23.0 introduces equivalence queries.
Verifpal 0.23.1 fixes a crash that could sometimes occur with models that use the `password` value type.
For many protocols, it could be useful to check whether shared secrets derived between Alice and Bob are equivalent in all completed executions of the protocol. Equivalence queries check whether any protocol scenario can be derived such that the given values are not equivalent to one another.
For example, one could use the following query to check if shared secrets calculated by Alice and Bob will always be equivalent in all protocol executions:
equivalence? ss_a, ss_b
......@@ -20,7 +20,7 @@ import (
const version = "0.23.0"
const version = "0.23.1"
var rootCmd = &cobra.Command{
Use: "verifpal",
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment