Arnaud de Grandmaison

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Formal Verification

Software Design

Optimization Problems

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification. IACR Cryptol. ePrint Arch. 2022 (2022)
Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann
Reconciling optimization with secure compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon
Secure Optimization Through Opaque Observations. CoRR (2021)
Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen
Secure delivery of program properties through optimizing compilation. CC (2020)