Michael Roe

2 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.

Randomized Testing of RISC-V CPUs Using Direct Instruction Injection

Alexandre Joannou and others (2024) · IEEE Design and Test

Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process

Kyndylan Nienhuis and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)