| commit | 4fa446c50934fc6cf85721b3b9e5aa7dc5185020 | [log] [tgz] |
|---|---|---|
| author | Asim Shankar <ashankar@google.com> | Wed Oct 07 16:41:12 2015 -0700 |
| committer | Asim Shankar <ashankar@google.com> | Wed Oct 07 16:41:12 2015 -0700 |
| tree | 8196d78dab921ed36a1f8563b8e639d94fbdcd6d | |
| parent | 93e389c3a119aed8f89dacec529d7a731680d9e4 [diff] |
proofs: Add ProVerif proofs for the Vanadium Authentication Protocol and link to the design doc. This work was done by Siddhartha Jayanti and Ankur Taly (https://github.com/ankurtaly) in another repository. I'm just moving them here. Change-Id: I0a6ac77eca9e4bffd53ea70ea3590ecf5295ab48