Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version

Matteo Busi, Job Noorman, Jo Van Bulck +4

Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful softw…