UKano v0.5 packaged with Proverif v1.97 enhanced for handling extended diff-equivalence (see [HBD19]).
Improvements from UKano v0.4 (based on the new revision of [HBD19]):
- fix a bug that impacted sanity checks generation
- improve user messages
- additional and improved Tamarin models (see models)
- new toy example.
[HBD19]: L. Hirschi, D. Baelde, S. Delaune.
A method for unbounded verication of privacy-type properties.
Will appear in the Journal of Computer Security.
A copy can be found on ARXIV.