@misc{indiciaeb2416f87fd2b,
  title = {Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version},
  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},
  url = {https://arxiv.org/abs/2001.10881},
  note = {Source identifier: 2001.10881}
}