Changelog of @hackage/scyther-proof 0.3.1

  • 0.3.1 Bugfix, small enhancement release

    • Bugfix: Added missing cases for bidirectional shared keys in Message deconstruction functions.

    • Provide more precise warnings for internal certification checks. Improves debugging experience.

    • Updated documentation: UnionFind and .cabal project description

    • Allow parsing of user-specified type assertions. For protocols with nested encryptions, the inferred type assertions are sometimes not precise enough. We handle these cases using user-specified type assertions.

    • Removed support for weak-atomicity, as it is subsumed by type assertions.

    • Changed lexer to also recognize `!'

  • 0.3.0 First public version

    Aligned with paper submission for CCS'11: Provably repairing the ISO-9798 authentication protocols.