Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.