CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege [pdf]
cl.cam.ac.uk