Arnaud de Grandmaison

According to our database, Arnaud de Grandmaison authored at least 5 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification.

Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier

IACR Cryptol. ePrint Arch., 2022

2021

Reconciling optimization with secure compilation.

Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann

Proc. ACM Program. Lang., 2021

Secure Optimization Through Opaque Observations.

Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon

CoRR, 2021

2020

Secure delivery of program properties through optimizing compilation.

Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020