Merge branch 'main' of github.com:dstebila/KEMTLS-Tamarin

kemtls · Mar 15, 2022 · 48c631a · 48c631a
2 parents 11fc7b7 + 88e2219
commit 48c631a
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/output/kemtls_sauth_20220314.txt b/output/kemtls_sauth_20220314.txt
@@ -78,3 +78,23 @@ real    1m2.401s
 user    4m59.240s
 sys     5m59.438s
 
+
+
+
+> git checkout deniability-with-coins
+> time make deniability-sauth
+
+==============================================================================
+summary of summaries:
+
+analyzed: deniability/generated_kemtls_sauth.spthy
+
+  output:          output/generated_kemtls_sauth_analyzed.spthy
+  processing time: 6558.982989763s
+  DiffLemma:  Observational_equivalence : verified (132329 steps)
+
+==============================================================================
+
+real    109m20.431s
+user    498m25.617s
+sys     581m2.878s