tamarin-prover v1.4.1 Release Notes
Release Date: 2019-01-18 // about 5 years ago-
Variants are now computed in Maude, for a pre-computation speedup for theories with many variants. Old internal variant computation still accessible by setting the environment variable "TAMARIN_NO_MAUDE_VARIANTS".
๐ XOR support added to SAPIC
Locking and unlocking in SAPIC improved
Input spthy files can declare the heuristic to be used in two ways: globally for all lemmas; and locally each lemma can overwrite that. Note that both take precedence over a heuristic parameter passed on the command-line.
โก๏ธ Hex color parsing for rules updated
5G-AKA protocol models added, described in the CCS 2018 paper (https://arxiv.org/abs/1806.10360): "A Formal Analysis of 5G Authentication"
DNP3 protocol models added, described in ESORICS 2017 paper: "Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ", and extended version in JCS 2018.
๐ Numerous bug fixes
๐ Syntax highlighting options improved and moved for multiple editors
Using stack LTS resolver 13.2 and GHC 8.6.3 now