@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",
}
@article{15655,
  title = "A Formal CHERI-C Memory Model",
  author = "Seung Hoon Park",
  year = "2022",
  editor = "Manual Eberl and Gerwin Klein and Andreas Lochbihler and Tobias Nipkow and Larry Paulson and René Thiemann",
  issn = "2150-914x",
  journal = "Archive of Formal Proofs",
  month = "November",
  url = "https://www.isa-afp.org/entries/CHERI-C_Memory_Model.html",
}