Simon Park

Simon Park
Research Associate
E: seunghoon.park@cs.ox.ac.uk
T: 07341197202
Wolfson Building, Parks Road, Oxford OX1 3QD
See Also:
Selected Publications
-
A Formal CHERI−C Semantics for Verification
Natasha Sharygina and Sriram Sankaranarayanan, editors
Details about A Formal CHERI−C Semantics for Verification | BibTeX data for A Formal CHERI−C Semantics for Verification | DOI (10.48550/arxiv.2211.07511)
-
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