tree 2795b6d32ff66ac01ca2cc827fef8222331fa192
parent e5f3fe6731c138f5afdfec453e0d847a96cea4b9
parent 4fa446c50934fc6cf85721b3b9e5aa7dc5185020
author Asim Shankar <ashankar@google.com> 1444265683 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1444265683 +0000

Merge "proofs: Add ProVerif proofs for the Vanadium Authentication Protocol and link to the design doc."