Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviourdl.acm.org69 pointsrbanffy2 years ago