Simon Park

Simon Park

Research Associate

Leaving date: 31st March 2023

See Also:

• Personal Webpage

Selected Publications

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

  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

• 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