Simon Park

Simon Park

Research Associate

E: seunghoon.park@cs.ox.ac.uk

T: 07341197202

Wolfson Building, Parks Road, Oxford OX1 3QD

See Also:

• Personal Webpage

Selected Publications

View AllManage 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