update

Dockerfile

paper-appendix/WireGuard_NDSS2024.pdf

paper-appendix/WireGuard_NDSS2024_appendix.pdf

...al_tests/__scripts__/generate_cnf_dnf_secrecy_rsk6_pfs.py

...mininal_tests/__scripts__/generate_pv_secrecy_rsk6_pfs.py

process_complete_mininal_tests/__tamarin__/myoracle

process_complete_mininal_tests/run_evaluate-pv.sh

process_complete_mininal_tests/run_evaluate-tam.sh

...ess_complete_mininal_tests/wireguard_command_evaluate_tam

...complete_mininal_tests/wireguard_command_generate_cnf_dnf

process_complete_mininal_tests/wireguard_command_generate_pv

...ie/__tamarin__/Agreement_Transport_itor_all_trusted.spthy

...without_cookie/__tamarin__/Secrecy_I_SK_all_trusted.spthy

...thout_cookie/__tamarin__/Secrecy_I_SK_untrusted_pkr.spthy

...__tamarin__/Secrecy_K6_Initiator_View_untrusted_pkr.spthy

...__tamarin__/Secrecy_K6_Responder_View_untrusted_pki.spthy

...thout_cookie/__tamarin__/Secrecy_R_SK_untrusted_pki.spthy

...ss_complete_without_cookie/wireguard_command_evaluate_tam

readme.md