[Verifpal] [ANNOUNCE] Verifpal 0.13.7

Symbolic Software Drone drone at drone.symbolic.software
Fri May 29 13:35:44 CEST 2020


Hello,

Verifpal 0.13.7 is now available. Verifpal updates bring new features, performance improvements and/or bug fixes.

Verifpal 0.13.7 fixes two bugs in Verifpal's analysis, both identified and reported by Georgio Nicolas:

- Values declared using Verifpal's password qualifier may result in false positives being identified by Verifpal despite no such attack having taken place in the model.

- Partial resolutions of targeted values in confidentiality queries may have led to missed attacks in certain scenarios.

This release also improves the reproducibility of Verifpal builds and introduces code-signed releases, as discussed on this mailing list thread:
https://lists.symbolic.software/pipermail/verifpal/2020/000255.html

Check out the list of changes in Verifpal 0.13.7, and download pre-compiled binary builds, here:
https://source.symbolic.software/verifpal/verifpal/-/releases

Pre-compiled builds are provided for Windows, Linux, macOS and FreeBSD in x86, amd64 and arm64 variants.

If you have installed Verifpal via the Scoop package manager for Windows, simply run the following commands to update to Verifpal 0.13.7:
scoop update
scoop update verifpal

If you have installed Verifpal via the Homebrew package manager on Linux and macOS, simply run the following commands to update to Verifpal 0.13.7:
brew update
brew upgrade verifpal

On Linux, Verifpal is also available via the Snap Store: https://snapcraft.io/verifpal

To receive more information about Verifpal, please visit https://verifpal.com.

Thank you,
Symbolic Software Drone


More information about the Verifpal mailing list