English
Related papers

Related papers: SinClave: Hardware-assisted Singletons for TEEs

200 papers

Applications running in Trusted Execution Environments (TEEs) commonly use untrusted external services such as host File System. Adversaries may maliciously alter the normal service behavior to trigger subtle application bugs that would…

Cryptography and Security · Computer Science 2022-11-15 Meni Orenbach , Bar Raveh , Alon Berkenstadt , Yan Michalevsky , Shachar Itzhaky , Mark Silberstein

As Machine Learning (ML) gets applied to security-critical or sensitive domains, there is a growing need for integrity and privacy for outsourced ML computations. A pragmatic solution comes from Trusted Execution Environments (TEEs), which…

Machine Learning · Statistics 2019-02-28 Florian Tramèr , Dan Boneh

Trusted execution environments (TEEs) protect the integrity and confidentiality of running code and its associated data. Nevertheless, TEEs' integrity protection does not extend to the state saved on disk. Furthermore, modern cloud-native…

Cryptography and Security · Computer Science 2024-08-16 Ardhi Putra Pratama Hartono , Andrey Brito , Christof Fetzer

Machine-learning (ML) models are increasingly being deployed on edge devices to provide a variety of services. However, their deployment is accompanied by challenges in model privacy and auditability. Model providers want to ensure that (i)…

Cryptography and Security · Computer Science 2024-04-02 Sandra Siby , Sina Abdollahi , Mohammad Maheri , Marios Kogias , Hamed Haddadi

Recent IoT applications gradually adapt more complicated end systems with commodity software. Ensuring the runtime integrity of these software is a challenging task for the remote controller or cloud services. Popular enforcement is the…

Cryptography and Security · Computer Science 2021-12-14 Yumei Zhang , Xinzhi Liu , Cong Sun , Dongrui Zeng , Gang Tan , Xiao Kan , Siqi Ma

Confidential Virtual Machines (CVMs) protect data in use by running workloads within hardware-enforced Trusted Execution Environments (TEEs). However, existing CVM attestation mechanisms only certify what code is running, not where it is…

Cryptography and Security · Computer Science 2026-03-05 Filip Rezabek , Moe Mahhouk , Andrew Miller , Quintus Kilbourn , Georg Carle , Jonathan Passerat-Palmbach

In distributed systems, trust decisions are made on the basis of integrity evidence generated via remote attestation. Examples of the kinds of evidence that might be collected are boot time image hash values; fingerprints of initialization…

Cryptography and Security · Computer Science 2024-02-02 Ian D. Kretz , Clare C. Parran , John D. Ramsdell , Paul D. Rowe

Confidential containers protect cloud-native workloads using trusted execution environments (TEEs). However, existing Container-in-TEE designs (e.g., Confidential Containers (CoCo)) encapsulate the entire runtime within the TEE, inflating…

Cryptography and Security · Computer Science 2026-01-06 Di Lu , Mengna Sun , Qingwen Zhang , Yujia Liu , Jia Zhang , Xuewen Dong , Yulong Shen , Jianfeng Ma

Enhanced processing power in the cloud allows constrained devices to offload costly computations: for instance, complex data analytics tasks can be computed by remote servers. Remote execution calls for a new compression paradigm that…

Information Theory · Computer Science 2021-11-18 Fabrizio Carpi , Siddharth Garg , Elza Erkip

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code…

Programming Languages · Computer Science 2023-07-26 Abhiroop Sarkar , Robert Krook , Alejandro Russo , Koen Claessen

Our objective is to protect the integrity and confidentiality of applications operating in untrusted environments. Trusted Execution Environments (TEEs) are not a panacea. Hardware TEEs fail to protect applications against Sybil, Fork and…

Cryptography and Security · Computer Science 2023-11-13 Gabriel P. Fernandez , Andrey Brito , Ardhi Putra Pratama Hartono , Muhammad Usama Sardar , Christof Fetzer

A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Marcus Brandenburger , Christian Cachin , Rüdiger Kapitza , Alessandro Sorniotti

Recommenders are central in many applications today. The most effective recommendation schemes, such as those based on collaborative filtering (CF), exploit similarities between user profiles to make recommendations, but potentially expose…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-02 Akash Dhasade , Nevena Dresevic , Anne-Marie Kermarrec , Rafael Pires

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed…

Cryptography and Security · Computer Science 2026-03-10 Amir Al Sadi , Sina Abdollahi , Adrien Ghosn , Hamed Haddadi , Marios Kogias

Trusted Execution Environments (TEEs) such as ARM TrustZone are widely used in IoT and embedded devices to protect sensitive code and data. However, most existing defenses focus on secure boot or REE-side monitoring and provide little…

Cryptography and Security · Computer Science 2025-12-09 Jingkai Mao , Xiaolin Chang

Smart contracts are applications that execute on blockchains. Today they manage billions of dollars in value and motivate visionary plans for pervasive blockchain deployment. While smart contracts inherit the availability and other security…

Cryptography and Security · Computer Science 2019-08-28 Raymond Cheng , Fan Zhang , Jernej Kos , Warren He , Nicholas Hynes , Noah Johnson , Ari Juels , Andrew Miller , Dawn Song

Trusted Execution Environments (TEEs) have emerged at the forefront of edge computing to combat the lack of trust between system components. Field Programmable Gate Arrays (FPGAs) are commonly used as edge computers but were not created…

Cryptography and Security · Computer Science 2025-03-24 Garrett Perkins , Benjamin Macht , Lucas Ritzdorf , Tristan Running Crane , Brock LaMeres , Clemente Izurieta , Ann Marie Reinhold

Edge storage presents a viable data storage alternative for application vendors (AV), offering benefits such as reduced bandwidth overhead and latency compared to cloud storage. However, data cached in edge computing systems is susceptible…

Cryptography and Security · Computer Science 2023-12-27 Zahra Seyedi , Farhad Rahmati , Mohammad Ali , Ximeng Liu

Container runtimes provide a stable operational interface for deploying, monitoring, and controlling modern workloads, while trusted execution environments (TEEs) provide hardware-enforced isolation for sensitive computation. Existing…

Cryptography and Security · Computer Science 2026-05-14 Di Lu , Qingwen Zhang , Yujia Liu , Xuewen Dong , Yulong Shen , Zhiquan Liu , Jianfeng Ma

The introduction of remote attestation (RA) schemes has allowed academia and industry to enhance the security of their systems. The commercial products currently available enable only the validation of static properties, such as…

Cryptography and Security · Computer Science 2019-04-04 Flavio Toffalini , Eleonora Losiouk , Andrea Biondo , Jianying Zhou , Mauro Conti