[Verifpal] Verifpal 0.4
nadim at symbolic.software
Tue Sep 3 22:21:52 CEST 2019
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.
Symbolic Software • https://symbolic.software
More information about the Verifpal