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

Filter
Finished

Search results