Mihail Asavoae

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Fault-resistant partitioning of secure CPUs for system co-verification against faults

Simon Tollec and others (2024) · IACR Transactions on Cryptographic Hardware and Embedded Systems

µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections

Simon Tollec and others (2023) · TU Wien

Formal Processor Modeling for Analyzing Safety and Security Properties

Benjamin Binder and others (2022) · Embedded Real Time Systems (ERTS)

Exploration of Fault Effects on Formal RISC-V Microarchitecture Models

Simon Tollec and others (2022) · IEEE

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test

Benjamin Binder and others (2021) · 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · IEEE