中文
相关论文

相关论文: Designing a Provenance Analysis for SGX Enclaves

200 篇论文

Besides Intel's SGX technology, there are long-running discussions on how trusted computing technologies can be used to cloak malware. Past research showed example methods of malicious activities utilising Flicker, Trusted Platform Module,…

密码学与安全 · 计算机科学 2022-11-02 Kubilay Ahmet Küçük , Steve Moyle , Andrew Martin , Alexandru Mereacre , Nicholas Allott

Protected-module architectures (PMAs) have been proposed to provide strong isolation guarantees, even on top of a compromised system. Unfortunately, Intel SGX -- the only publicly available high-end PMA -- has been shown to only provide…

密码学与安全 · 计算机科学 2017-12-25 Raoul Strackx , Frank Piessens

Process-based confidential computing enclaves such as Intel SGX can be used to protect the confidentiality and integrity of workloads, without the overhead of virtualisation. However, they introduce a notable performance overhead,…

密码学与安全 · 计算机科学 2021-12-15 Jakob Svenningsson , Nicolae Paladi , Arash Vahidi

Trusted Execution Environments, such as Intel SGX, use hardware supports to ensure the confidentiality and integrity of applications against a compromised cloud system. However, side channels like access patterns remain for adversaries to…

密码学与安全 · 计算机科学 2023-08-15 AKM Mubashwir Alam , Justin Boyce , Keke Chen

Intel SGX Guard eXtensions (SGX), a hardware-supported trusted execution environment (TEE), is designed to protect security-sensitive applications. However, since enclave applications are developed with memory unsafe languages such as…

密码学与安全 · 计算机科学 2020-05-14 Huibo Wang , Mingshen Sun , Qian Feng , Pei Wang , Tongxin Li , Yu Ding

Trusted Execution Environments (TEEs), such as Intel Software Guard eXtensions (SGX), are considered as a promising approach to resolve security challenges in clouds. TEEs protect the confidentiality and integrity of application code and…

Forking attacks against TEEs like Intel SGX can be carried out either by rolling back the application to a previous state, or by cloning the application and by partitioning its inputs across the cloned instances. Current solutions to…

密码学与安全 · 计算机科学 2023-10-05 Samira Briongos , Ghassan Karame , Claudio Soriente , Annika Wilde

Provenance plays a critical role in maintaining traceability of a system's actions for root cause analysis of security threats and impacts. Provenance collection is often incorporated into the reference monitor of systems to ensure that an…

密码学与安全 · 计算机科学 2025-10-14 Jinsong Mao , Benjamin E. Ujcich , Shiqing Ma

Integrity is critical for maintaining system security, as it ensures that only genuine software is loaded onto a machine. Although confidential virtual machines (CVMs) function within isolated environments separate from the host, it is…

密码学与安全 · 计算机科学 2024-10-25 Wenhao Wang , Linke Song , Benshan Mei , Shuang Liu , Shijun Zhao , Shoumeng Yan , XiaoFeng Wang , Dan Meng , Rui Hou

The second version of Intel Software Guard Extensions (Intel SGX), or SGX2, adds dynamic management of enclave memory and threads. The first version required the address space and thread counts to be fixed before execution. The Enclave…

Intrusion detection is an arms race; attackers evade intrusion detection systems by developing new attack vectors to sidestep known defense mechanisms. Provenance provides a detailed, structured history of the interactions of digital…

密码学与安全 · 计算机科学 2018-06-05 Xueyuan Han , Thomas Pasquier , Margo Seltzer

We present S3ML, a secure serving system for machine learning inference in this paper. S3ML runs machine learning models in Intel SGX enclaves to protect users' privacy. S3ML designs a secure key management service to construct flexible…

机器学习 · 计算机科学 2020-10-14 Junming Ma , Chaofan Yu , Aihui Zhou , Bingzhe Wu , Xibin Wu , Xingyu Chen , Xiangqun Chen , Lei Wang , Donggang Cao

We provide an evaluation of an analytical workload in a confidential computing environment, combining DuckDB with two technologies: modular columnar encryption in Parquet files (data at rest) and the newest version of the Intel SGX Trusted…

数据库 · 计算机科学 2024-05-31 Ilaria Battiston , Lotte Felius , Sam Ansmink , Laurens Kuiper , Peter Boncz

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…

Intel Software Guard Extensions (SGX) enables user-level code to create private memory regions called enclaves, whose code and data are protected by the CPU from software and hardware attacks outside the enclaves. Recent work introduces…

操作系统 · 计算机科学 2020-01-22 Youren Shen , Hongliang Tian , Yu Chen , Kang Chen , Runji Wang , Yi Xu , Yubin Xia

Data confidentiality is an important requirement for clients when outsourcing databases to the cloud. Trusted execution environments, such as Intel SGX, offer an efficient, hardware-based solution to this cryptographic problem. Existing…

密码学与安全 · 计算机科学 2020-02-13 Benny Fuhry , Jayanth Jain H A , Florian Kerschbaum

Provenance graph-based intrusion detection systems are deployed on hosts to defend against increasingly severe Advanced Persistent Threat. Using Graph Neural Networks to detect these threats has become a research focus and has demonstrated…

密码学与安全 · 计算机科学 2025-08-11 Weiheng Wu , Wei Qiao , Teng Li , Yebo Feng , Zhuo Ma , Jianfeng Ma , Yang Liu

Trusted Execution Environments (TEEs) are gaining popularity as an effective means to provide confidentiality in the cloud. TEEs, such as Intel SGX, suffer from so-called rollback and cloning attacks (often referred to as forking attacks).…

密码学与安全 · 计算机科学 2026-01-15 Annika Wilde , Samira Briongos , Claudio Soriente , Ghassan Karame

MapReduce is a programming model used extensively for parallel data processing in distributed environments. A wide range of algorithms were implemented using MapReduce, from simple tasks like sorting and searching up to complex clustering…

分布式、并行与集群计算 · 计算机科学 2017-05-17 Rafael Pires , Daniel Gavril , Pascal Felber , Emanuel Onica , Marcelo Pasin

Content-based routing (CBR) is a powerful model that supports scalable asynchronous communication among large sets of geographically distributed nodes. Yet, preserving privacy represents a major limitation for the wide adoption of CBR,…

分布式、并行与集群计算 · 计算机科学 2017-01-18 Rafael Pires , Marcelo Pasin , Pascal Felber , Christof Fetzer