Browsing by Author "Galletta, Letterio"

Now showing 1 - 2 of 2

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors

Busi, Matteo
;
Noorman, Job
;
Van Bulck, Jo
;
Galletta, Letterio
;
Degano, Pierpaolo
Proceedings paper
2020, 33rd IEEE Computer Security Foundations Symposium (CSF), JUN 22-25, 2020, p.262-276
Securing Interruptible Enclaved Execution on Small Microprocessors

Busi, Matteo
;
Noorman, Job
;
Van Bulck, Jo
;
Galletta, Letterio
;
Degano, Pierpaolo
Journal article
2021, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, (43) 3, p.Art. 12