| Exploration of fault effects on formal RISC-V microarchitecture models S Tollec, M Asavoae, D Couroussé, K Heydemann, M Jan 2022 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 73-83, 2022 | 10 | 2022 |
| µArchiFI: Formal modeling and verification strategies for microarchitetural fault injections S Tollec, M Asavoae, D Couroussé, K Heydemann, M Jan FMCAD. 23-Formal Methods in Computer-Aided Design 2023, 2023 | 1 | 2023 |
| Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults S Tollec, V Hadžić, P Nasahl, M Asavoae, R Bloem, D Couroussé, ... Cryptology ePrint Archive, 2024 | | 2024 |
| Formal Processor Modeling for Analyzing Safety and Security Properties B Binder, SA Bensaid, S Tollec, F Thabet, M Asavoae, M Jan Embedded Real Time Systems (ERTS), 1-10, 2022 | | 2022 |
| Formal Analysis of Fault Injection Effects on RISC-V Microarchitecture Models S Tollec, M Asavoae, M Jan, D Couroussé, K Heydemann | | |
