Merge branch 'examples'

LCBH · Nov 12, 2018 · c3a19f9 · c3a19f9
2 parents 237b987 + 4c2db43
commit c3a19f9
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/examples/DAA-abstract/daa_sign_simplified_ukano.pi b/examples/DAA-abstract/daa_sign_simplified_ukano.pi
@@ -1,4 +1,4 @@
-(* MINIMAL SIMPLIFIED VERSION FOF DAA SIGN, variant (Example 10) (i.e., sKI is a private constant)
+(* MINIMAL SIMPLIFIED VERSION FOF DAA SIGN, Example 10 (i.e., sKI is a private constant)
  * MODIFIED TO TEST A STRONG DEF OF UK using UKANO 
  * Lucca Hirschi
  * 01/10/2018

diff --git a/examples/DAA-abstract/daa_sign_simplified_ukano_shared.pi b/examples/DAA-abstract/daa_sign_simplified_ukano_shared.pi
@@ -1,4 +1,4 @@
-(* MINIMAL SIMPLIFIED VERSION FOF DAA SIGN, variant (Example 11) (i.e., sKI is an identity parameter)
+(* MINIMAL SIMPLIFIED VERSION FOF DAA SIGN, Example 11 (i.e., sKI is an identity parameter)
  * MODIFIED TO TEST A STRONG DEF OF UK using UKANO 
  * Lucca Hirschi
  * 01/10/2018

diff --git a/examples/DAA/daa_sign.pi b/examples/DAA/daa_sign.pi
@@ -1,4 +1,4 @@
-(* MODIFIED TO TEST A STRONG DEF OF UK using UKANO, variant (a) (i.e., sKI is a private constant)
+(* MODIFIED TO TEST A STRONG DEF OF UK using UKANO, variant (a) in Section 6.2.2 (i.e., sKI is a private constant)
  * MINIMAL VERSION FOR DAA SIGN
  * Lucca Hirschi
  * 23/03/2016

diff --git a/examples/DAA/daa_sign_shared.pi b/examples/DAA/daa_sign_shared.pi
@@ -1,7 +1,7 @@
-(* MODIFIED TO TEST A STRONG DEF OF UK using UKANO, variant (b) (i.e., sKI is an identity parameter)
+(* MODIFIED TO TEST A STRONG DEF OF UK using UKANO, variant (b) in Section 6.6.2 (i.e., sKI is an identity parameter)
  * MINIMAL VERSION FOR DAA SIGN
  * Lucca Hirschi
- * 23/03/2016
+ * 01/10/2018
  *)
 
 (*