Simon Park : Publications
-
[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
-
[2]
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