« Changelog History


tamarin-prover v1.4.0 Release Notes

Release Date: 2018-05-07 // almost 6 years ago
    • 1.4.0

    ➕ Added support for XOR operations in Tamarin as a new built-in, as described in the CSF 2018 paper (https://hal.archives-ouvertes.fr/hal-01780544): "Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR"

    Voting protocol models for "Alethea" added, described in "A Provably Secure Random Sample Voting Protocol", also at CSF 2018

    👍 Better mirror displays in equivalence mode

    🛠 Numerous bug fixes

    Using stack LTS resolver 11.7 now