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]

Authors

Matteo Busi

This author has not been identified. Look up 'Matteo Busi' in Google

Job Noorman

This author has not been identified. Look up 'Job Noorman' in Google

Jo Van Bulck

This author has not been identified. Look up 'Jo Van Bulck' in Google

Letterio Galletta

This author has not been identified. Look up 'Letterio Galletta' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Jan Tobias Mühlberg

This author has not been identified. Look up 'Jan Tobias Mühlberg' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google