Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. In 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020. pages 262-276, IEEE, 2020. [doi]
Abstract is missing.