readme

paper-appendix/WireGuard_NDSS2024.pdf

paper-appendix/WireGuard_NDSS2024_appendix.pdf

...s/__scripts__/__pycache__/compute_dnf_cnf.cpython-311.pyc

...sts/__scripts__/__pycache__/compute_proof.cpython-311.pyc

...l_tests/__scripts__/generate_cnf_dnf_agreement_confirm.py

...tests/__scripts__/generate_cnf_dnf_agreement_inithello.py

..._tests/__scripts__/generate_cnf_dnf_agreement_rechello.py

.../__scripts__/generate_cnf_dnf_agreement_transport_itor.py

.../__scripts__/generate_cnf_dnf_agreement_transport_rtoi.py

...ininal_tests/__scripts__/generate_cnf_dnf_secrecy_isk6.py

...al_tests/__scripts__/generate_cnf_dnf_secrecy_isk_itor.py

...ests/__scripts__/generate_cnf_dnf_secrecy_isk_itor_pfs.py

...al_tests/__scripts__/generate_cnf_dnf_secrecy_isk_rtoi.py

...ests/__scripts__/generate_cnf_dnf_secrecy_isk_rtoi_pfs.py

...ininal_tests/__scripts__/generate_cnf_dnf_secrecy_rsk6.py

...al_tests/__scripts__/generate_cnf_dnf_secrecy_rsk_itor.py

...ests/__scripts__/generate_cnf_dnf_secrecy_rsk_itor_pfs.py

...al_tests/__scripts__/generate_cnf_dnf_secrecy_rsk_rtoi.py

...ests/__scripts__/generate_cnf_dnf_secrecy_rsk_rtoi_pfs.py

...ininal_tests/__scripts__/generate_pv_agreement_confirm.py