ARMor: Fully Verified Software Fault Isolation

Published at EMSOFT’11.

Reference:

Created Aug 18, 2019 // Last Updated May 18, 2021

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?