Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults

ePrint Report: Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults

Simon Tollec, Vedad Hadžić, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

To assess the robustness of CPU-based systems against fault injection attacks, it is necessary to analyze the consequences of the fault propagation resulting from the intricate interaction between the software and the processor. However, current formal methodologies that combine both hardware and software aspects experience scalability issues, primarily due to …

attacks consequences cpu cpus eprint report injection injection attacks pascal report robustness system systems verification