TY  - RPRT
TI  - Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
AU  - Jérémy Thibault
AU  - Joseph Lenormand
AU  - Catalin Hritcu
PY  - 2025
UR  - https://arxiv.org/abs/2503.19609
ID  - 2503.19609
ER  -