Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour

Vadim Zaliva, Kayvan Memarian, Ricardo De Oliveira Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour'. Together they form a unique fingerprint.

Computer Science