Sébastien Michelland -

Registered user since Mon 24 Jun 2024

Name:Sébastien Michelland

Country:France

Affiliation:Inria Rennes

Personal website: https://silent-tower.net/

GitHub: https://github.com/lephe

Contributions

2026

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PriSC

Author of Compiling countermeasures against fault attacks with “Tracing LLVM” within the PriSC-track

2024

ICFP

Author of Abstract Interpreters: A Monadic Approach to Modular Verification within the ICFP Papers and Events-track
Author of Abstract Interpreters: a Monadic Approach to Modular Verification within the Artifact Evaluation-track

CC

Author of From Low-level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme within the Main Conference-track