Secure delivery of program properties through optimizing compilation. - Son Tuan Vu; Karine Heydemann; Arnaud de Grandmaison; Albert Cohen 001 (CC, 2020)

Secure Optimization Through Opaque Observations. - Son Tuan Vu; Albert Cohen 001; Karine Heydemann; Arnaud de Grandmaison; Christophe Guillon (CoRR, 2021)

Reconciling optimization with secure compilation. - Son Tuan Vu; Albert Cohen 001; Arnaud de Grandmaison; Christophe Guillon; Karine Heydemann (Proc. ACM Program. Lang., 2021)

Optimizing Property-Preserving Compilation. (Préservation des propriétés dans un flot de compilation optimisant). - Son Tuan Vu (2021)