M-Mmachine
References:
[1] Hardware support for fast capability based addressing. SIGPLAN, 1994.
[2] CHERI Concentrate: Practical Compressed Capabilities, IEEE Transactions on Computers, 2019.
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?