A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs

Autor: Ménétrey, Jämes, Grüter, Aeneas, Yuhala, Peterson, Oeftiger, Julius, Felber, Pascal, Pasin, Marcelo, Schiavoni, Valerio
Rok vydání: 2023
Předmět:
Zdroj: OPODIS'23: Proceedings of the 27th Conference on Principles of Distributed Systems, Tokyo, Japan, December 2023
Druh dokumentu: Working Paper
DOI: 10.4230/LIPIcs.OPODIS.2023.23
Popis: Publish/subscribe systems play a key role in enabling communication between numerous devices in distributed and large-scale architectures. While widely adopted, securing such systems often trades portability for additional integrity and attestation guarantees. Trusted Execution Environments (TEEs) offer a potential solution with enclaves to enhance security and trust. However, application development for TEEs is complex, and many existing solutions are tied to specific TEE architectures, limiting adaptability. Current communication protocols also inadequately manage attestation proofs or expose essential attestation information. This paper introduces a novel approach using WebAssembly to address these issues, a key enabling technology nowadays capturing academia and industry attention. We present the design of a portable and fully attested publish/subscribe middleware system as a holistic approach for trustworthy and distributed communication between various systems. Based on this proposal, we have implemented and evaluated in-depth a fully-fledged publish/subscribe broker running within Intel SGX, compiled in WebAssembly, and built on top of industry-battled frameworks and standards, i.e., MQTT and TLS protocols. Our extended TLS protocol preserves the privacy of attestation information, among other benefits. Our experimental results showcase most overheads, revealing a 1.55x decrease in message throughput when using a trusted broker. We open-source the contributions of this work to the research community to facilitate experimental reproducibility.
Comment: This publication incorporates results from the VEDLIoT project, which received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 957197
Databáze: arXiv