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)

Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification. - Arnaud de Grandmaison; Karine Heydemann; Quentin L. Meunier (IACR Cryptol. ePrint Arch., 2022)

ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification. - Arnaud de Grandmaison; Karine Heydemann; Quentin L. Meunier (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)