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.
µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections
The work
| Authors | Simon Tollec; Mihail Asavoae; Damien Couroussé; Karine Heydemann; Mathieu Jan |
|---|---|
| Editors | |
| Type | misc |
| Year | 2023 |
| Also known as | anon2023archifi |
| Citekey | tollec2023archifi |
Where it appeared
| Publisher | TU Wien |
|---|
Identifiers
| DOI | 10.34727/2023/isbn.978-3-85448-060-0_18 |
|---|
How it got here
| How it got here | agent via datacite |
|---|---|
| Added | 2026-10-26 06:11 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{tollec2023archifi,
title = {µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections},
author = {Simon Tollec and Mihail Asavoae and Damien Couroussé and Karine Heydemann and Mathieu Jan},
year = {2023},
publisher = {TU Wien},
doi = {10.34727/2023/isbn.978-3-85448-060-0_18},
}
This record lives at https://refs.drheap.org/tollec2023archifi/ and will keep
doing so. It used to be called anon2023archifi, and those addresses still resolve to this one.