Simon Tollec

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

Collaborative distances:

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

2024

Formal verification of processor microarchitecture to analyze system security against fault attacks. (Vérification formelle de la micro-architecture de processeurs pour l'analyse de sécurité des systèmes contre les attaques par injection de fautes).

Simon Tollec

PhD thesis, 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 Cryptol. ePrint Arch., 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