End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. (arXiv:2206.01041v3 [cs.CR] UPDATED)

This paper presents an approach to provide strong assurance of the secure
execution of distributed event-driven applications on shared infrastructures,
while relying on a small Trusted Computing Base. We build upon and extend
security primitives provided by Trusted Execution Environments (TEEs) to
guarantee authenticity and integrity properties of applications, and to secure
control of input and output devices. More specifically, we guarantee that if an
output is produced by the application, it was allowed to be produced by the
application's …

applications distributed enclave end end-to-end event security