we are about to publish a paper for which we would like to acknowledge the SPARTA project.
Please, find the version that we plan to submit in attachment and a brief description of the content, the venue and the relation with the activities of WP6 below.
Please let me know if you have any objections or comments.

Best regards

Letterio Galletta

===

Title: Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors

Venue: 33rd IEEE Computer Security Foundations Symposium

Relationship with SPARTA: The paper studies the problem of extending a microprocessor that supports enclaved execution with new features but without breaking its security guarantees. In particular, the paper proposes a design for interruptible enclaves, and proves that they do not open the way to new attacks. Finally, we implemented our design on Sancus, a platform for developing IoT systems and evaluated its cost in terms of performance and hardware size.