μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections
| Title: | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections |
|---|---|
| Authors: | Tollec, Simon; Asavoae, Mihail; Courousse, Damien; Heydemann, Karine; Jan, Mathieu |
| Source: | 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :101-109 Oct, 2023 |
| Relation: | 2023 Formal Methods in Computer-Aided Design (FMCAD) |
| Database: | IEEE Xplore Digital Library |