@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 Referred 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}
}