@inproceedings{busi2020provably,
  author={Busi, Matteo and Noorman, Job and Van Bulck, Jo and Galletta, Letterio and Degano, Pierpaolo and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  title       = {Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors},
  year        = {2020},
  booktitle = {33rd IEEE Computer Security Foundations Symposium (CSF'20)},
  year = {2020}
}