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]

@inproceedings{BusiNBGDMP20,
  title = {Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors},
  author = {Matteo Busi and Job Noorman and Jo Van Bulck and Letterio Galletta and Pierpaolo Degano and Jan Tobias Mühlberg and Frank Piessens},
  year = {2020},
  doi = {10.1109/CSF49147.2020.00026},
  url = {https://doi.org/10.1109/CSF49147.2020.00026},
  researchr = {https://researchr.org/publication/BusiNBGDMP20},
  cites = {0},
  citedby = {0},
  pages = {262-276},
  booktitle = {33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-6572-1},
}