List of works - Robert N. M. Watson - Paulina

List of works by Robert N. M. Watson

CHERIoT: Complete Memory Safety for Embedded Devices

scientific article published on 08 December 2023

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

scientific article published on 22 April 2024

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

scientific article published on 17 April 2024

Paulina is supported by:

About Paulina

Help