Busi, MatteoMatteoBusiNoorman, JobJobNoormanVan Bulck, JoJoVan BulckGalletta, LetterioLetterioGallettaDegano, PierpaoloPierpaoloDeganoMuhlberg, Jan TobiasJan TobiasMuhlbergPiessens, FrankFrankPiessens2022-04-072022-04-0720201940-1434WOS:000621174200018https://imec-publications.be/handle/20.500.12860/39597Provably Secure Isolation for Interruptible Enclaved Execution on Small MicroprocessorsProceedings paper10.1109/CSF49147.2020.00026978-1-7281-6572-1WOS:000621174200018