Simon Park : Publications
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.
A Formal CHERI−C Memory Model
Seung Hoon Park
In Archive of Formal Proofs. November, 2022.