Follows a rich tradition described here: https://homes.cs.washington.edu/~levy/capabook/ https://homes.cs.washington.edu/~levy/capabook/ Its main competition

Follows a rich tradition described here: https://homes.cs.washington.edu/~levy/capabook/ https://homes.cs.washington.edu/~levy/capabook/ Its main competition was SAFE architecture that used tags. It has been commercialized as CoreGuard. http://www.crash-safe.org/papers.html http://www.crash-safe.org/papers.html https://dovermicrosystems.com/coreguard/ https://dovermicrosystems.com/coreguard/ There's lots of them for stuff like memory safety (esp Watchdog Lite or Hardbound) and control-flow integrity. The above were more thorough. One might also build a capability-secure OS or language on CHERI for more consistency and exploitation of its capabilities.