This repository contains the source code of the dissertation Toward Machine-Checked Post-Quantum Cryptography: Formal Verification of Digital Signature Schemes and Key Encapsulation Mechanisms, authored by me, and successfully defended on 28 May 2026. A catalog record of this dissertation is available from the Eindhoven University of Technology Library.
ISBN: 978-90-386-6693-8.
Artifacts (GitHub): https://github.com/MM45/dissertation-artifacts/tree/v1.0.0
Artifacts (Zenodo): https://doi.org/10.5281/zenodo.19683719