μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections.

Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan

Browse the full FMCAD paper archive.