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.
Peter G. Neumann
A grouping.
Peter G. Neumann, SRI: the CHERI project's other long-standing name, on the rigorous ISA specification and the three Cambridge hardware-security records of 2023-24. Four records.
4 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)
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)