Minor release: APTE v0.3.1beta

A minor release of APTE soon after the major release of v0.3beta. You can download it here or on the download page.

New features:

  • Fix of a stack overflow problem.
  • The parser now handles properly the declared constants
  • Addition of three new examples: Unlinkability of the Passive Authentication protocol of the electronic passport (without considering length, the existing attack when considering the length of messages and lastly the fix)

Since APTE is still in a beta version, there will probably be regular releases until the release of the first stable version. Do not hesitate to send examples of processes or bug reports at cheval@lsv.ens-cachan.fr orĀ v.f.p.cheval@cs.bham.ac.uk.