English
Related papers

Related papers: Twine: An Embedded Trusted Runtime for WebAssembly

200 papers

WebAssembly (Wasm) is a next-generation portable compilation target for deploying applications written in high-level languages on the web. In order to protect their memory from untrusted code, web browser engines confine the execution of…

Programming Languages · Computer Science 2019-10-23 Marco Vassena , Marco Patrignani

WebAssembly is a compilation target for cross-platform applications that is increasingly being used. In this paper, we investigate whether one can transparently cross-compile C programs to WebAssembly, and if not, what impact porting can…

Cryptography and Security · Computer Science 2021-12-23 Quentin Stiévenart , Coen De Roover , Mohammad Ghafari

WebAssembly is designed to be an alternative to JavaScript that is a safe, portable, and efficient compilation target for a variety of languages. The performance of high-level languages depends not only on the underlying performance of…

Programming Languages · Computer Science 2020-10-07 Donald Pinckney , Arjun Guha , Yuriy Brun

The growth of cloud computing has revolutionized data processing and storage capacities to another levels of scalability and flexibility. But in the process, it has created a huge challenge of security, especially in terms of safeguarding…

Cryptography and Security · Computer Science 2025-11-07 Dhruv Deepak Agarwal , Aswani Kumar Cherukuri

We present PSL, a lightweight, secure and stateful Function-as-a-Serivce (FaaS) framework for Trusted Execution Environments (TEEs). The framework provides rich programming language support on heterogeneous TEE hardware for statically…

Cryptography and Security · Computer Science 2024-10-29 Alexander Thomas , Shubham Mishra , Kaiyuan Chen , John Kubiatowicz

The big data industry is facing new challenges as concerns about privacy leakage soar. One of the remedies to privacy breach incidents is to encapsulate computations over sensitive data within hardware-assisted Trusted Execution…

Software Engineering · Computer Science 2020-05-12 Pei Wang , Yu Ding , Mingshen Sun , Huibo Wang , Tongxin Li , Rundong Zhou , Zhaofeng Chen , Yiming Jing

RISC-V-based Trusted Execution Environments (TEEs) are gaining traction in the automotive and IoT sectors as a foundation for protecting sensitive computations. However, the supporting infrastructure around these TEEs remains immature. In…

Cryptography and Security · Computer Science 2026-03-19 Annika Wilde , Samira Briongos , Claudio Soriente , Ghassan Karame

Hardware support for trusted execution in modern CPUs enables tenants to shield their data processing workloads in otherwise untrusted cloud environments. Runtime systems for the trusted execution must rely on an interface to the untrusted…

Operating Systems · Computer Science 2020-01-22 Christian Priebe , Divya Muthukumaran , Joshua Lind , Huanzhou Zhu , Shujie Cui , Vasily A. Sartakov , Peter Pietzuch

Snowpark enables Data Engineering and AI/ML workloads to run directly within Snowflake by deploying a secure sandbox on virtual warehouse nodes. This Snowpark Execution Environment (SEE) allows users to execute arbitrary workloads in Python…

This paper presents PUBSUB-SGX, a content-based publish-subscribe system that exploits trusted execution environments (TEEs), such as Intel SGX, to guarantee confidentiality and integrity of data as well as anonymity and privacy of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-27 Sergei Arnautov , Andrey Brito , Pascal Felber , Christof Fetzer , Franz Gregor , Robert Krahn , Wojciech Ozga , André Martin , Valerio Schiavoni , Fábio Silva , Marcus Tenorio , Nikolaus Thümmel

WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript engine. However, given that WebAssembly binaries can be…

Cryptography and Security · Computer Science 2022-04-28 Tiago Brito , Pedro Lopes , Nuno Santos , José Fragoso Santos

Many applications benefit from computations over the data of multiple users while preserving confidentiality. We present a solution where multiple mutually distrusting users' data can be aggregated with an acceptable overhead, while…

Cryptography and Security · Computer Science 2024-10-15 Marcus Birgersson , Cyrille Artho , Musard Balliu

During the past few years, we have witnessed various efforts to provide confidentiality and integrity for applications running in untrusted environments such as public clouds. In most of these approaches, hardware extensions such as Intel…

Cryptography and Security · Computer Science 2025-11-25 Robert Krahn , Nikson Kanti Paul , Franz Gregor , Do Le Quoc , Andrey Brito , André Martin , Christof Fetzer

As an essential technology underpinning trusted computing, the trusted execution environment (TEE) allows one to launch computation tasks on both on- and off-premises data while assuring confidentiality and integrity. This article provides…

Cryptography and Security · Computer Science 2023-02-24 Xiaoguo Li , Bowen Zhao , Guomin Yang , Tao Xiang , Jian Weng , Robert H. Deng

Decentralized smart contracts enable trustless collaboration but suffer from limited privacy and scalability, which hinders broader adoption. Trusted Execution Environment (TEE) based off-chain execution frameworks offer a promising…

Cryptography and Security · Computer Science 2025-11-07 Keyu Zhang , Andrew Martin

Secure outsourced computation (SOC) provides secure computing services by taking advantage of the computation power of cloud computing and the technology of privacy computing (e.g., homomorphic encryption). Expanding computational…

Cryptography and Security · Computer Science 2024-12-03 Bowen Zhao , Jiuhui Li , Peiming Xu , Xiaoguo Li , Qingqi Pei , Yulong Shen

The increasing heterogeneity of hardware and software in the Internet of Things (IoT) poses a major challenge for the portability, maintainability and deployment of software on devices with limited resources. WebAssembly (WASM), originally…

Hardware Architecture · Computer Science 2025-12-02 Mislav Has , Tao Xiong , Fehmi Ben Abdesslem , Mario Kušek

The process of engineering and deploying applications in the edge/embedded space is massively complicated by the non-homogeneous nature of the software stack and the complexity of diagnostics & debugging. Often different languages and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-15 Anthony Arnold , Mark Marron

Trusted Execution Environments (TEEs) provide hardware-enforced isolation that protects sensitive code and data from untrusted software. Despite their strong security guarantees, analyzing TEE applications remains challenging due to the…

Software Engineering · Computer Science 2026-05-22 Chengyan Ma , Jieke Shi , Ruidong Han , Ye Liu , Yuqing Niu , David Lo

Trusted Execution Environments (TEEs) are a feature of modern central processing units (CPUs) that aim to provide a high assurance, isolated environment in which to run workloads that demand both confidentiality and integrity. Hardware and…

Cryptography and Security · Computer Science 2023-08-16 Arttu Paju , Muhammad Owais Javed , Juha Nurmi , Juha Savimäki , Brian McGillion , Billy Bob Brumley