9 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.AR2025★ 1 cited
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor
Louis-Emile Ploix, Alasdair Armstrong, Tom Melham +3
The CHERI architecture equips conventional RISC ISAs with significant architectural extensions that provide a hardware-enforced mechanism for memory protection and software compart…
cs.LO2022★ 6 cited
A Formal CHERI-C Semantics for Verification
Seung Hoon Park, Rekha Pai, Tom Melham
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed…
cs.CV2020★ 9 cited
Evaluating Robustness to Context-Sensitive Feature Perturbations of Different Granularities
Isaac Dunn, Laura Hanu, Hadrien Pouget +2
We cannot guarantee that training datasets are representative of the distribution of inputs that will be encountered during deployment. So we must have confidence that our models d…