Remove EKEP analysis in favor of github.com/google/ekep-analysis.

The formal EKEP analysis now has its own GitHub repository. This commit changes the link in the secure_grpc README to point to the new repository and leaves a README in the ekep_analysis subdirectory to point to the new location.
google · Apr 12, 2022 · e733655 · e733655
1 parent beacccb
commit e733655
Show file tree

Hide file tree

Showing 16 changed files with 2 additions and 1,858 deletions.
diff --git a/asylo/examples/secure_grpc/README.md b/asylo/examples/secure_grpc/README.md
@@ -359,7 +359,7 @@ authorized to make the RPC.
     example.
 *   An explanation of
     [SGX local attestation](https://software.intel.com/en-us/node/702983).
-*   See [A Formal Analysis of EKEP](/asylo/examples/secure_grpc/ekep_analysis/README.md)
+*   See [A Formal Analysis of EKEP](https://github.com/google/ekep-analysis/)
     for a ProVerif-based security analysis of the EKEP protocol.
 
 <!-- Footnotes themselves at the bottom. -->

diff --git a/asylo/examples/secure_grpc/ekep_analysis/README.md b/asylo/examples/secure_grpc/ekep_analysis/README.md
diff --git a/asylo/examples/secure_grpc/ekep_analysis/authenticated_encryption.pvl b/asylo/examples/secure_grpc/ekep_analysis/authenticated_encryption.pvl
diff --git a/asylo/examples/secure_grpc/ekep_analysis/diffie_hellman.pvl b/asylo/examples/secure_grpc/ekep_analysis/diffie_hellman.pvl
diff --git a/asylo/examples/secure_grpc/ekep_analysis/diffie_hellman_test.pv b/asylo/examples/secure_grpc/ekep_analysis/diffie_hellman_test.pv
diff --git a/asylo/examples/secure_grpc/ekep_analysis/ekep-handshake.svg b/asylo/examples/secure_grpc/ekep_analysis/ekep-handshake.svg
diff --git a/asylo/examples/secure_grpc/ekep_analysis/ekep.pv b/asylo/examples/secure_grpc/ekep_analysis/ekep.pv