References:
[1] Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security. [paper]
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?