Skip to content

UKano v0.2
Compare
Choose a tag to compare
@LCBH LCBH released this 30 Jan 10:07
· 95 commits to master since this release
UKano-v0.2
4d2658d

UKano v0.2 packaged with ProVerif v1.92.

Improvements from UKano v0.1 (based on new theoretical developments from [H17]):

  • Detects whether the input protocol is in the shared case (i.e., some identity names are shared by the two roles) or not and adapt well-authentication verification accordingly.
  • Verifies that guessed idealizations and idealizations given by the user are conform w.r.t. our generic definition [H17].
  • Better heuristics to guess idealization that can be modified using options (more details in the corresponding section from the manual).
  • UKano is now standalone and calls an executable proverif, parses its output and concludes accordingly.
  • scope of protocols UKano can deal with is much larger. See the list of case studies in the corresponding section from the manual.

[H17]: L. Hirschi. PhD Thesis. Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice. A copy will soon be distributed at http://projects.lsv.ens-cachan.fr/ukano/.

Assets 2
Loading