For additional background regarding the CHERI technology being developed by the team and its collaborators, please see our Technical Report UCAM-CL-TR-941, An…