TY  - RPRT
TI  - Blame-aware Recomposition for Secure Compilation Proofs of Low-Level Compartment Isolation
AU  - Basile Schlosser
AU  - Jérémy Thibault
AU  - Catalin Hritcu
PY  - 2026
UR  - https://arxiv.org/abs/2610.26054
ID  - 2610.26054
ER  -