Sébastien Michelland

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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)