"High-Assurance Post-Quantum Key Exchange" - Research Dataset
Abstract
Research datasets related to my PhD thesis: "High-Assurance Post-Quantum Key Exchange". Alternatively, each individual dataset can be found in the following repositories: https://github.com/formosa-crypto/formosa-mlkem https://github.com/MQuaresma/pswoosh https://github.com/MQuaresma/jasmin/tree/cryptoline-mc
Fields of Study & Subjects
Cryptography and Data Security
Cryptography and Residue Arithmetic
Quantum Information and Cryptography
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 29 January 2026