A Formal CHERI-C Semantics for Verification.

Seung Hoon Park, Rekha R. Pai, Tom Melham

Browse the full TACAS paper archive.