@inproceedings{arXiv:2211.07511,
  title = "A Formal CHERI-C Semantics for Verification",
  author = "Seung Hoon Park and Rekha Pai and Tom Melham",
  year = "2023",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  chapter = "28",
  copyright = "Creative Commons Attribution 4.0 International",
  editor = "Sriram Sankaranarayanan and Natasha Sharygina",
  isbn = "978-3-031-30822-2",
  issn = "0302-9743",
  location = "Paris, France",
  month = "April",
  pages = "549-568",
  publisher = "Springer Cham",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/simon.park/A_Formal_CHERI-C_Semantics_for_Verification.pdf",
  volume = "13993",
  doi = "10.1007/978-3-031-30823-9_28",
}