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