Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors