This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Robert N. M. Watson
A grouping.
Robert N. M. Watson, Cambridge: principal investigator of the CHERI line, from the rigorous ISA specification through architectural side channels and safe speculation to randomised instruction testing. Five records, 2020-2024.
5 references
Safe Speculation for CHERI
Franz A. Fuchs and others (2024) · 2024 IEEE 42nd International Conference on Computer Design (ICCD)
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection
Alexandre Joannou and others (2024) · IEEE Design and Test
Architectural Contracts for Safe Speculation
Franz A. Fuchs and others (2023) · 2023 IEEE 41st International Conference on Computer Design (ICCD)
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Thomas Bauereiss and others (2022) · Programming Languages and Systems (ESOP 2022)
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)