中文
相关论文

相关论文: SinClave: Hardware-assisted Singletons for TEEs

200 篇论文

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…

密码学与安全 · 计算机科学 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…

机器学习 · 统计学 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…

密码学与安全 · 计算机科学 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)…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

信息论 · 计算机科学 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…

编程语言 · 计算机科学 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…

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…

分布式、并行与集群计算 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 2019-04-04 Flavio Toffalini , Eleonora Losiouk , Andrea Biondo , Jianying Zhou , Mauro Conti