Simon Park : Publications

Journal papers

• [1]

  A Formal CHERI−C Memory Model

  Seung Hoon Park

  In Archive of Formal Proofs. November, 2022.

  Details about A Formal CHERI−C Memory Model | BibTeX data for A Formal CHERI−C Memory Model | Link to A Formal CHERI−C Memory Model

Conference papers

• [1]

  A Formal CHERI−C Semantics for Verification

  Seung Hoon Park‚ Rekha Pai and Tom Melham

  In Sriram Sankaranarayanan and Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems. Vol. 13993 of Lecture Notes in Computer Science. Chapter 28. Pages 549−568. Springer Cham. April, 2023.

  Details about A Formal CHERI−C Semantics for Verification | BibTeX data for A Formal CHERI−C Semantics for Verification | DOI (10.1007/978-3-031-30823-9_28) | Download (pdf) of A Formal CHERI−C Semantics for Verification