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 Rugg
A grouping.
Peter Rugg, Cambridge: CHERI hardware verification and testing. The same three records as the woodruff set -- architectural side channels, safe speculation, randomised instruction testing -- since this group publishes together. 2023-2024.
3 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)