A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs
J\"ames M\'en\'etrey, Aeneas Gr\"uter, Peterson Yuhala and, Julius Oeftiger, Pascal Felber, Marcelo Pasin, Valerio Schiavoni

TL;DR
This paper presents a portable, WebAssembly-based publish/subscribe middleware leveraging TEEs like Intel SGX, enhancing security, trust, and privacy in distributed systems with minimal performance overhead.
Contribution
It introduces a novel, fully attested, portable publish/subscribe system using WebAssembly and TEEs, addressing portability, attestation management, and privacy concerns.
Findings
Achieved a 1.55x decrease in message throughput with trusted broker
Developed a WebAssembly-based middleware compatible with industry standards
Extended TLS to preserve attestation privacy
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSecurity and Verification in Computing · Cloud Data Security Solutions · Distributed systems and fault tolerance
