Simon Tollec

According to our database, Simon Tollec authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

2023

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

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Exploration of Fault Effects on Formal RISC-V Microarchitecture Models.

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

Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2022