@misc{indiciaeb600e30c69c9,
  title = {VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL},
  author = {Anna Lena Duque Antón and Johannes Müller and Philipp Schmitz and Tobias Jauch and Alex Wezel and Lucas Deutschmann and Mohammad Rahmani Fadiheh and Dominik Stoffel and Wolfgang Kunz},
  year = {2024},
  doi = {10.1145/3676536.3676841},
  url = {https://arxiv.org/abs/2407.18679},
  note = {Source identifier: 2407.18679}
}