Santiago López Heinzen

CLH MAX: A Post-Quantum Key Encapsulation Mechanism over Z_q[X]/Φ₂₅₇(X) with Machine-Checked Security

This repository contains the official implementation, machine-checked security proofs, and academic manuscript for CLH MAX, a Post-Quantum Key Encapsulation Mechanism (KEM). Technical SpecificationsCLH MAX is designed over the polynomial ring Z_q[X]/Φ₂₅₇(X). By explicitly utilizi...