Sébastien Michelland -

Registered user since Mon 24 Jun 2024

Name:Sébastien Michelland

Country:France

Affiliation:Université Grenoble-Alpes - Grenoble INP - LCIS

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

GitHub: https://github.com/lephe

Contributions

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