| commit | 4cab38e96794f8a67bf142d46975ee4cffa68416 | [log] [tgz] |
|---|---|---|
| author | Asim Shankar <ashankar@google.com> | Thu Oct 08 00:54:43 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Oct 08 00:54:43 2015 +0000 |
| tree | 2795b6d32ff66ac01ca2cc827fef8222331fa192 | |
| parent | e5f3fe6731c138f5afdfec453e0d847a96cea4b9 [diff] | |
| parent | 4fa446c50934fc6cf85721b3b9e5aa7dc5185020 [diff] |
Merge "proofs: Add ProVerif proofs for the Vanadium Authentication Protocol and link to the design doc."