tree 8196d78dab921ed36a1f8563b8e639d94fbdcd6d
parent 93e389c3a119aed8f89dacec529d7a731680d9e4
author Asim Shankar <ashankar@google.com> 1444261272 -0700
committer Asim Shankar <ashankar@google.com> 1444261272 -0700

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