TY  - RPRT
TI  - Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
AU  - Matteo Busi
AU  - Job Noorman
AU  - Jo Van Bulck
AU  - Letterio Galletta
AU  - Pierpaolo Degano
AU  - Jan Tobias Mühlberg
AU  - Frank Piessens
PY  - 2020
UR  - https://arxiv.org/abs/2001.10881
ID  - 2001.10881
ER  -