The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Approches sémantiques des vulnérabilités matérielles
The work
| Authors | Sébastien Michelland |
|---|---|
| Editors | |
| Type | misc |
| Year | 2022 |
| Citekey | michelland2022approches |
Identifiers
| handle | hal-03965191 |
|---|
Access
| Landing page | https://hal.science/hal-03965191 |
|---|
Related
| Contained in | michelland2025compilation |
|---|
From bibtex.
Abstract
Even a program free of software vulnerabilities can be compromised through hardware, for instance with a fault injection or side channel attack. These vulnerabilities are hard to characterize and defend against because they expose physical details of the execution platform. We describe a language semantics-based approach to tackle these questions in a formal setting, in the hope of streamlining the design of counter-measures and their integration with hardware platforms and compilation toolchains.
A copy is held
pdf, 188.9 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-17 12:54 UTC |
| Not denied by | a person 2026-09-23 14:09 UTC |
Cite it as
@misc{michelland2022approches,
title = {Approches sémantiques des vulnérabilités matérielles},
author = {Sébastien Michelland},
year = {2022},
}
This record lives at https://refs.drheap.org/michelland2022approches/ and will keep doing so.