Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen 0001. Secure delivery of program properties through optimizing compilation. In Louis-Noël Pouchet, Alexandra Jimborean, editors, CC '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020. pages 14-26, ACM, 2020. [doi]
Abstract is missing.