An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.
Carmine AbateRoberto BlancoStefan CiobacaAdrien DurierDeepak GargCatalin HritcuMarco PatrignaniÉric TanterJérémy ThibaultPublished in: ACM Trans. Program. Lang. Syst. (2021)