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

School of Informatics
Laboratory for Foundations of Computer Science
Foundations of Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/11/19 → 31/03/24
Project: Research

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

Projects

Search results

Digital Security by Design (DSbD) Technology Platform Prototype