@misc{indiciae0da3bd8926f3,
  title = {Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor},
  author = {Louis-Emile Ploix and Alasdair Armstrong and Tom Melham and Ray Lin and Haolong Wang and Anastasia Courtney},
  year = {2025},
  url = {https://arxiv.org/abs/2502.04738},
  note = {Source identifier: 2502.04738}
}