TY  - RPRT
TI  - Trace-Relating Compiler Correctness and Secure Compilation
AU  - Carmine Abate
AU  - Roberto Blanco
AU  - Stefan Ciobaca
AU  - Adrien Durier
AU  - Deepak Garg
AU  - Catalin Hritcu
AU  - Marco Patrignani
AU  - Éric Tanter
AU  - Jérémy Thibault
PY  - 2020
UR  - https://arxiv.org/abs/1907.05320
ID  - 1907.05320
ER  -