Commit 27755c78 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.19.1

parent e3c3c90b
Pipeline #696 passed with stages
in 4 minutes and 6 seconds
Verifpal 0.19.0 modifies the behavior of freshness queries.
Now, freshness queries will check if a value is ever *used* while
non-fresh, and not simply contradict the query if a value can ever *be*
non-fresh. This is based on discussions with Eric Simpson.
An example model in examples/test/replay-simple.vp is provided to
illustrate how this is supposed to work.
Verifpal 0.19.0 also fixes a problem that caused VerifHub submissions not
to be possible if Verifpal was installed via Snapcraft, thanks to a patch
submitted by Eric Simpson.
Finally, Verifpal 0.19.0 binaries are built using Go 1.15 (with the exception
of Snapcraft binaries).
Verifpal 0.19.1 eliminates some false attacks that could appear with authentication queries and improves sanity checks made on query preconditions.
......@@ -22,7 +22,7 @@ import (
var version = "0.19.0"
var version = "0.19.1"
var rootCmd = &cobra.Command{
Use: "verifpal",
Markdown is supported
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