Update README.md

pietrotedeschi · Aug 21, 2020 · 707502b · 707502b
1 parent 3254ec1
commit 707502b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,8 @@
      <img alt="Setup Phase" src="./img/scenario.png" width="800">
 </p>
 
+The details will be provided in the paper.
+
 ## Formal verification with ProVerif
 The security properties of `PPCA` have been verified formally and experimentally by using the open-source tool <a href="https://prosecco.gforge.inria.fr/personal/bblanche/proverif/">ProVerif 2.01</a>, demonstrating enhanced security protection with respect to state-of-the-art approaches.