├── .gitignore ├── README.md ├── revision1-WithKyberCR ├── Kyber.ocv ├── Makefile ├── PQXDH.m4.ocv └── README.md ├── revision1 ├── cryptoverif │ ├── .gitignore │ ├── Makefile │ ├── PQXDH.m4.ocv │ └── README.md ├── pqxdh-rev1.pdf └── proverif │ ├── Makefile │ ├── README.md │ ├── pqxdh-model.cpp.pv │ └── run.sh ├── revision2 ├── cryptoverif │ ├── .gitignore │ ├── Makefile │ ├── PQXDH.m4.ocv │ └── README.md ├── pqxdh-diff-rev-1-to-2.pdf ├── pqxdh-rev2.pdf └── proverif │ ├── Makefile │ ├── README.md │ ├── pqxdh-model.cpp.pv │ └── run.sh └── revision3 ├── cryptoverif ├── .gitignore ├── Makefile ├── PQXDH.m4.ocv └── README.md └── proverif ├── Makefile ├── README.md ├── pqxdh-model.cpp.pv └── run.sh /.gitignore: -------------------------------------------------------------------------------- 1 | *.pv 2 | *.cv -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/README.md -------------------------------------------------------------------------------- /revision1-WithKyberCR/Kyber.ocv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1-WithKyberCR/Kyber.ocv -------------------------------------------------------------------------------- /revision1-WithKyberCR/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1-WithKyberCR/Makefile -------------------------------------------------------------------------------- /revision1-WithKyberCR/PQXDH.m4.ocv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1-WithKyberCR/PQXDH.m4.ocv -------------------------------------------------------------------------------- /revision1-WithKyberCR/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1-WithKyberCR/README.md -------------------------------------------------------------------------------- /revision1/cryptoverif/.gitignore: -------------------------------------------------------------------------------- 1 | _models/* -------------------------------------------------------------------------------- /revision1/cryptoverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/cryptoverif/Makefile -------------------------------------------------------------------------------- /revision1/cryptoverif/PQXDH.m4.ocv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/cryptoverif/PQXDH.m4.ocv -------------------------------------------------------------------------------- /revision1/cryptoverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/cryptoverif/README.md -------------------------------------------------------------------------------- /revision1/pqxdh-rev1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/pqxdh-rev1.pdf -------------------------------------------------------------------------------- /revision1/proverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/proverif/Makefile -------------------------------------------------------------------------------- /revision1/proverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/proverif/README.md -------------------------------------------------------------------------------- /revision1/proverif/pqxdh-model.cpp.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/proverif/pqxdh-model.cpp.pv -------------------------------------------------------------------------------- /revision1/proverif/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision1/proverif/run.sh -------------------------------------------------------------------------------- /revision2/cryptoverif/.gitignore: -------------------------------------------------------------------------------- 1 | _models/* -------------------------------------------------------------------------------- /revision2/cryptoverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/cryptoverif/Makefile -------------------------------------------------------------------------------- /revision2/cryptoverif/PQXDH.m4.ocv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/cryptoverif/PQXDH.m4.ocv -------------------------------------------------------------------------------- /revision2/cryptoverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/cryptoverif/README.md -------------------------------------------------------------------------------- /revision2/pqxdh-diff-rev-1-to-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/pqxdh-diff-rev-1-to-2.pdf -------------------------------------------------------------------------------- /revision2/pqxdh-rev2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/pqxdh-rev2.pdf -------------------------------------------------------------------------------- /revision2/proverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/proverif/Makefile -------------------------------------------------------------------------------- /revision2/proverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/proverif/README.md -------------------------------------------------------------------------------- /revision2/proverif/pqxdh-model.cpp.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/proverif/pqxdh-model.cpp.pv -------------------------------------------------------------------------------- /revision2/proverif/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision2/proverif/run.sh -------------------------------------------------------------------------------- /revision3/cryptoverif/.gitignore: -------------------------------------------------------------------------------- 1 | _models/* -------------------------------------------------------------------------------- /revision3/cryptoverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/cryptoverif/Makefile -------------------------------------------------------------------------------- /revision3/cryptoverif/PQXDH.m4.ocv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/cryptoverif/PQXDH.m4.ocv -------------------------------------------------------------------------------- /revision3/cryptoverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/cryptoverif/README.md -------------------------------------------------------------------------------- /revision3/proverif/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/proverif/Makefile -------------------------------------------------------------------------------- /revision3/proverif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/proverif/README.md -------------------------------------------------------------------------------- /revision3/proverif/pqxdh-model.cpp.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/proverif/pqxdh-model.cpp.pv -------------------------------------------------------------------------------- /revision3/proverif/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/pqxdh-analysis/HEAD/revision3/proverif/run.sh --------------------------------------------------------------------------------