@comment{Conference Proceedings}

@conference{park_cheri_paper_2023,
    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       = {April},
    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}
}

@comment{Workshop Papers}

@misc{loow_cse_2024,
    author	= {Andreas L\"{o}\"{o}w, Daniele Nantes Sobrinho, Sacha-\'{E}lie Ayoun, Nat Karmios, Seung Hoon Park, Petar Maksimovi\'{c}, Philippa Gardner},
    title	= {{Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning}},
    journal	= {Formal Methods for Incorrectness},
    year	= {2024},
    url		= {https://popl24.sigplan.org/details/incorrectness-2024-papers/9/Unified-Compositional-Formal-Methods-Exact-Separation-Logic-and-the-Gillian-Platform}
}