Here's related work for those interested in the subject. Two old ones: Burroughs Architecture https://www.smecc.org/The%20Architecture%20%20of%20the%20Burrough

Here's related work for those interested in the subject. Two old ones: Burroughs Architecture https://www.smecc.org/The%20Architecture%20%20of%20the%20Burroughs%20B-5000.htm https://www.smecc.org/The%20Architecture%20%20of%20the%20Bur... Capability-based Computer Systems (book) https://homes.cs.washington.edu/~levy/capabook/ https://homes.cs.washington.edu/~levy/capabook/ Some new ones using a range of techniques: SAFE Architecture http://www.crash-safe.org/papers.html http://www.crash-safe.org/papers.html CHERI Architecture http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ Note: CHERI runs a modified version of FreeBSD on a FPGA board. Quite practical if it can handle that! Watchdog Architecture https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ Hardware-assisted Secure Allocator http://jin.ece.ufl.edu/papers/HASP17.pdf http://jin.ece.ufl.edu/papers/HASP17.pdf