[Verifpal] Verifpal 0.4

Nadim Kobeissi nadim at symbolic.software
Tue Sep 3 22:21:52 CEST 2019

Hello everyone,

Release notes for Verifpal 0.4:

	• EXPERIMENTAL: Tampering detection in authentication queries.
	• Allow attacker to decompose AEAD_DEC without knowledge of AD, only of key.
	• Improved accuracy of bundled Scuttlebutt model.
	• Fixed newlines on result printing (thanks to Loup Vaillant.)

If you’re fine with running arbitrary scripts in your terminal, you can instantly update to 0.4 like this:
bash -c "curl -sL https://verifpal.com/install|bash"

Or you can download a pre-compiled binary here:

We’ve also moved off GitHub, the social network disguised as a version control host. Verifpal source code is now hosted here:

There are still many ongoing issues I want to iron out with Loup and others, but hopefully this release will put us all on the same ground for further testing.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list