Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors | IEEE Conference Publication | IEEE Xplore