Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level
Julien Proy, Karine Heydemann, Fabien Maj\'eric, Albert Cohen,, Alexandre Berzati

TL;DR
This paper investigates electromagnetic pulse effects on complex superscalar microarchitectures at the ISA level, revealing diverse fault effects and proposing a methodology for characterization to aid in designing countermeasures.
Contribution
It introduces a novel characterization methodology for EM pulse-induced faults at the ISA level in superscalar microprocessors, including new fault effect classifications.
Findings
EM pulses can corrupt loop iteration counts in complex processors.
Fault effects include instruction skip, register corruption, operand substitution, and control-flow hijacking.
The methodology aids in understanding and defending against EM-induced faults.
Abstract
In the area of physical attacks, system-on-chip (SoC) designs have not received the same level of attention as simpler micro-controllers. We try to model the behavior of secure software running on a superscalar out-of-order microprocessor typical of more complex SoC, in the presence of electromagnetic (EM) pulses. We first show that it is possible, in a black box approach, to corrupt the loop iteration count of both original and hardened versions of two sensitive loops. We propose a characterization methodology based on very simple codes, to understand and classify the fault effects at the level of the instruction set architecture (ISA). The resulting classification includes the well established instruction skip and register corruption models, as well as new effects specific to more complex processors, such as operand substitution, multiple correlated register corruptions, advanced…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCryptographic Implementations and Security · Physical Unclonable Functions (PUFs) and Hardware Security · Security and Verification in Computing
