Publications

@comment{{Conference Proceedings}}

@conference{park_cheri_paper_2022,
  author = {Park, Seung Hoon and Pai, Rekha and Melham, Tom},
  title = {{A Formal CHERI-C Semantics for Verification}},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
  publisher = {Springer Cham},
  month = {May},
  year = {2023},
  editor = {Sankaranarayanan, Sriram and Sharygina, Natasha},
  volume = {13993},
  booksubtitle = {29th International Conference, TACAS 2023, Held as Part of 
                   the European Joint Conferences on Theory and Practice of 
                   Software, ETAPS 2022, Paris, France, April 22–27, 2023, 
                   Proceedings, Part I},
  chapter = {28},
  edition = {1},
  pages = {680},
  isbn = {978-3-031-30822-2},
  doi = {10.1007/978-3-031-30823-9_28},
  issn = {0302-9743},
  copyright = {Creative Commons Attribution 4.0 International}
}

@comment{{Online Refereed Journals (Archive of Formal Proofs)}}

@article{park_cheri_afp_2022,
  author = {Seung Hoon Park},
  title = {{A Formal CHERI-C Memory Model}},
  journal = {Archive of Formal Proofs},
  month = {Nov},
  year = {2022},
  url = {https://isa-afp.org/entries/CHERI-C_Memory_Model.html},
  note = {Formal proof development},
  issn = {2150-914x}
}

This file was generated by bibtex2html 1.99.