This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Sébastien Michelland
A grouping.
Sebastien Michelland, Grenoble: semantics of hardware vulnerabilities, fault modelling, compilation for hardware security. Four records, 2022-2026. One is French, michelland2022approches, predating the 2026-09-17 English-only rule.
4 references
Quantifying Programs' Robustness Against Multi-Fault Control-Flow Attacks by Static Analysis
Sébastien Michelland and others (2026) · IEEE 37th International Symposium on Software Reliability Engineering (ISSRE 2026)
Compilation beyond semantics for hardware security
Sébastien Michelland (2025)
From low-level fault modeling (of a pipeline attack) to a proven hardening scheme
Sébastien Michelland and others (2024) · 33rd ACM SIGPLAN International Conference on Compiler Construction (CC 2024)
Approches sémantiques des vulnérabilités matérielles
Sébastien Michelland (2022)