From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme. - Sébastien Michelland; Christophe Deleuze; Laure Gonnord (CC, 2024)

Abstract Interpreters: A Monadic Approach to Modular Verification. - Sébastien Michelland; Yannick Zakowski; Laure Gonnord (Proc. ACM Program. Lang., 2024)