µArchiFI_artifact
- 1. Universit ́e Paris-Saclay, CEA, List, F-91120, Palaiseau, France
- 2. Univ. Grenoble Alpes, CEA, List, F-38000, Grenoble, France
- 3. Thales DIS, France
Description
This Artifact support the µArchiFI tool submission to FMCAD23. The abstract is reproduced below:
This paper introduces µArchiFI, an open-source tool dedicated to the formal modeling and verification of microarchitecture-level fault injections and their effects on complex hardware/software systems.
First, we address a system-level modeling problem, including an attacker model, which is automatically integrated into the Yosys toolchain.
Second, we introduce verification strategies to evaluate the fault effects for software-level security.
The practical use of µArchiFI is demonstrated on RISC-V use cases using state-of-the-art model-checking tools for hardware verification.
Files
artifact_µarchiFI_fmcad23.zip
Files
(486.8 kB)
Name | Size | Download all |
---|---|---|
md5:a7bb80608357739c5c6716f70dc330d3
|
486.8 kB | Preview Download |