Skip to content

UKano v0.1
Compare
Choose a tag to compare
@LCBH LCBH released this 30 Jan 08:43
· 180 commits to master since this release
UKano-v0.1
8836bd5

UKano v0.1 based on ProVerif 1.96.

UKano as distributed for the paper [HBD16]. It only deals with the shared case (i.e., some identity names are shared by the two roles) and only deals with a simple heuristics to guess idealization as described in [HBD16].

[HBD16]: L. Hirschi, D. Baelde and S. Delaune. A Method for Verifying Privacy-Type Properties : The Unbounded Case. In IEEE Symposium on Security and Privacy (Oakland), 2016. To appear. A copy can be found at http://projects.lsv.ens-cachan.fr/ukano/.

Assets 2
Loading