1.4.0

rsasse released this 07 May 12:22

· 2323 commits to master since this release

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

Assets 5