TY  - RPRT
TI  - KEM-IND-CCA-Preserving Compilation of Jasmin's ML-KEM
AU  - Santiago Arranz-Olmos
AU  - Gilles Barthe
AU  - Lionel Blatter
AU  - Benjamin Grégoire
AU  - Vincent Laporte
AU  - Paolo Torrini
PY  - 2026
UR  - https://arxiv.org/abs/2511.11292
ID  - 2511.11292
ER  -