Tags give the ability to mark specific points in history as being important
  • v0.27.0
    dad640af · Verifpal 0.27.0 ·
    Release v0.27.0
    Verifpal 0.27.0
    Verifpal 0.27.0 fixes an analysis bug caused by an ill-thought "performance optimization". It also updates a few dependencies.
    Thanks to Oskar Goldhahn (NTNU) for detecting the issue.
  • v0.26.1
    ae522ce0 · Verifpal 0.26.1 ·
    Release v0.26.1
    Verifpal 0.26.1
    Verifpal 0.26.1 fixes analysis unreliabilty that could arise when equivalence queries are used.
    Equivalence queries remain unstable, and should be used with caution for the time being.
  • v0.26.0
    4d276a85 · Verifpal 0.26.0 ·
    Release v0.26.0
    Verifpal 0.26.0
    Verifpal 0.26.0 fixes analysis unreliabilty that could arise when a Verifpal model contains a very large number of different queries.
  • v0.25.0
    08347f53 · Verifpal 0.25.0 ·
    Release v0.25.0
    Verifpal 0.25.0
    Verifpal 0.25.0 fixes additional analysis bugs reported by "Melanie" on the Discord chat.
  • v0.24.1
    f2418803 · Verifpal 0.24.1 ·
    Release v0.24.1
    Verifpal 0.24.1
    Verifpal 0.24.0 fixes a bug that could cause misleading confidentiality query outputs. Verifpal 0.24.1 is a minor follow-up release with improvements to the command-line interface.
  • v0.24.0
    84e15424 · Verifpal 0.24.0 ·
    Release v0.24.0
    Verifpal 0.24.0
    Verifpal 0.24.0 fixes a bug that could cause misleading confidentiality query outputs.
  • v0.23.3
    344cd82e · Verifpal 0.23.3 ·
    Release v0.23.3
    Verifpal 0.23.3
    Verifpal 0.23.3 fixes a crash that could sometimes occur with models that use the `password` value type.
  • v0.23.2
    60caac7a · Verifpal 0.23.2 ·
    Release v0.23.2
    Verifpal 0.23.2
    Verifpal 0.23.2 fixes a crash that could sometimes occur with models that use the `password` value type.
  • v0.23.1
    3702bf19 · Verifpal 0.23.1 ·
    Release v0.23.1
    Verifpal 0.23.1
    Verifpal 0.23.1 fixes a crash that could sometimes occur with models that use the `password` value type.
  • v0.23.0
    d2cffd82 · Verifpal 0.23.0 ·
    Release v0.23.0
    Verifpal 0.23.0
    Verifpal 0.23.0 introduces equivalence queries.
    For many protocols, it could be useful to check whether shared secrets derived between Alice and Bob are equivalent in all completed executions of the protocol. Equivalence queries check whether any protocol scenario can be derived such that the given values are not equivalent to one another.
    For example, one could use the following query to check if shared secrets calculated by Alice and Bob will always be equivalent in all protocol executions:
    equivalence? ss_a, ss_b
  • v0.22.0
    4e901ed9 · Verifpal 0.22.0 ·
    Release v0.22.0
    Verifpal 0.22.0
    Verifpal 0.22.0 provides native support for the new Apple Silicon platform.
  • v0.21.5
    45f850bf · Verifpal 0.21.5 ·
    Release v0.21.5
    Verifpal 0.21.5
    Verifpal 0.21.5 brings analysis bug fixes thanks to feedback from Friedrich Wiemer.
  • v0.21.4
    7fdf5704 · Verifpal 0.21.4 ·
    Release v0.21.4
    Verifpal 0.21.4
    Verifpal 0.21.4 brings analysis bug fixes.
  • v0.21.3
    75544133 · Verifpal 0.21.3 ·
    Release v0.21.3
    Verifpal 0.21.3
    Verifpal 0.21.3 brings further performance improvements to analysis speeds and some analysis bug fixes.
  • v0.21.2
    172d9936 · Verifpal 0.21.2 ·
    Release v0.21.2
    Verifpal 0.21.2
    Verifpal 0.21.2 brings further performance improvements to analysis speeds.
  • v0.21.1
    60499ce7 · Verifpal 0.21.1 ·
    Release v0.21.1
    Verifpal 0.21.1
    Verifpal 0.21.1 brings further performance improvements by improving multithreading strategies.
  • v0.21.0
    7d3dbc3c · Verifpal 0.21.0 ·
    Release v0.21.0
    Verifpal 0.21.0
    Verifpal 0.21.0 brings strong performance improvements due to the elimination of string comparison operations from the analysis logic. Verifpal now assigns uint16 IDs for all string values (constant names, principal names, value qualifiers and attributes, etc.) before analysis and compares those instead of comparing strings.
    The resulting performance benefits are quite substantial, ranging between 20% and 33% depending on the model being analyzed.
    No change was made to the analysis logic itself, aside from eliminating string comparison operations.
  • v0.20.1
    fb6a5df3 · Verifpal 0.20.1 ·
    Release v0.20.1
    Verifpal 0.20.1
    Verifpal 0.20.1 fixes a serious bug that prevented attackers from learning values with the `password` qualifiers even when leaked directly. Definitely update.
    Thanks to "Mike" for reporting this bug.
  • v0.20.0
    ba250645 · Verifpal 0.20.0 ·
    Release v0.20.0
    Verifpal 0.20.0
    Verifpal 0.20.0 fixes a minor bug regarding comments parsing, reported by "Mike". It also fixes a more impactful bug with the resolution of SIGNVERIF checks, also reported by "Mike". Finally, Verifpal 0.20.0 includes a new command, `verifpal about`, which when executed prints out a list of individuals that have contributed meaningful suggestions, bug reports, ideas or discussions to the Verifpal project.
  • v0.19.5
    36bcbf08 · Verifpal 0.19.5 ·
    Release v0.19.5
    Verifpal 0.19.5
    Verifpal 0.19.5 includes minor bug fixes to analysis logic thanks to reports from "Mike".