中文
相关论文

相关论文: Insecure Until Proven Updated: Analyzing AMD SEV's…

200 篇论文

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…

密码学与安全 · 计算机科学 2025-11-07 Dhruv Deepak Agarwal , Aswani Kumar Cherukuri

Scientific computing sometimes involves computation on sensitive data. Depending on the data and the execution environment, the HPC (high-performance computing) user or data provider may require confidentiality and/or integrity guarantees.…

分布式、并行与集群计算 · 计算机科学 2020-10-27 Ayaz Akram , Anna Giannakou , Venkatesh Akella , Jason Lowe-Power , Sean Peisert

Attestation means providing evidence that a remote target system is worthy of trust for some sensitive interaction. Although attestation is already used in network access control, security management, and trusted execution environments, it…

密码学与安全 · 计算机科学 2026-03-09 Will Thomas , Logan Schmalz , Adam Petz , Perry Alexander , Joshua D. Guttman , Paul D. Rowe , James Carter

Confidential computing plays an important role in isolating sensitive applications from the vast amount of untrusted code commonly found in the modern cloud. We argue that it can also be leveraged to build safer and more secure…

Mobile edge computing (MEC) is an emerging technology to transform the cloud-based computing services into the edge-based ones. Autonomous vehicular network (AVNET), as one of the most promising applications of MEC, can feature edge…

密码学与安全 · 计算机科学 2020-02-18 Jiasi Weng , Jian Weng , Yue Zhang , Ming Li , Zhaodi Wen

A trusted execution environment (TEE) such as Intel Software Guard Extension (SGX) runs a remote attestation to prove to a data owner the integrity of the initial state of an enclave, including the program to operate on her data. For this…

密码学与安全 · 计算机科学 2020-07-22 Weijie Liu , Wenhao Wang , Xiaofeng Wang , Xiaozhu Meng , Yaosong Lu , Hongbo Chen , Xinyu Wang , Qingtao Shen , Kai Chen , Haixu Tang , Yi Chen , Luyi Xing

The deployment of large-scale distributed systems, e.g., publish-subscribe platforms, that operate over sensitive data using the infrastructure of public cloud providers, is nowadays heavily hindered by the surging lack of trust toward the…

分布式、并行与集群计算 · 计算机科学 2019-06-27 Christian Göttel , Rafael Pires , Isabelly Rocha , Sébastien Vaucher , Pascal Felber , Marcelo Pasin , Valerio Schiavoni

Nested virtualization is now widely supported by major cloud vendors, allowing users to leverage virtualization-based technologies in the cloud. However, supporting nested virtualization significantly increases host hypervisor complexity…

操作系统 · 计算机科学 2025-12-10 Reima Ishii , Takaaki Fukai , Takahiro Shinagawa

Modern data centers have grown beyond CPU nodes to provide domain-specific accelerators such as GPUs and FPGAs to their customers. From a security standpoint, cloud customers want to protect their data. They are willing to pay additional…

密码学与安全 · 计算机科学 2022-11-02 Aritra Dhar , Supraja Sridhara , Shweta Shinde , Srdjan Capkun , Renzo Andri

Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can run such that the integrity and confidentiality of its…

密码学与安全 · 计算机科学 2021-05-14 Pedro Antonino , Wojciech Aleksander Wołoszyn , A. W. Roscoe

Intel Trust Domain Extensions (TDX) is a new architectural extension in the 4th Generation Intel Xeon Scalable Processor that supports confidential computing. TDX allows the deployment of virtual machines in the Secure-Arbitration Mode…

Existing attestation mechanisms lack scalability and support for heterogeneous virtual execution environments (VEEs), such as virtual machines and containers executed inside or outside hardware isolation on different vendors' hardware in…

密码学与安全 · 计算机科学 2023-04-04 Wojciech Ozga , Patricia Sagmeister , Tamás Visegrády , Silvio Dragone

Modern society is increasingly surrounded by, and accustomed to, a wide range of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often perform safety-critical functions, e.g., personal medical devices,…

密码学与安全 · 计算机科学 2020-01-14 Ivan De Oliveira Nunes , Karim Eldefrawy , Norrathep Rattanavipanon , Gene Tsudik

Intel(R) Software Guard Extensions (Intel(R) SGX) is a promising technology to securely process information in otherwise untrusted environments. An important aspect of Intel SGX is the ability to perform remote attestation to assess the…

密码学与安全 · 计算机科学 2019-07-29 Thomas Knauth , Michael Steiner , Somnath Chakrabarti , Li Lei , Cedric Xing , Mona Vij

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

Trusted execution environments (TEEs) are an integral part of modern secure processors. They ensure that their application and code pages are confidential, tamper proof and immune to diverse types of attacks. In 2021, Intel suddenly…

密码学与安全 · 计算机科学 2024-07-19 Ani Sunny , Nivedita Shrivastava , Smruti R. Sarangi

Multi-tenant computing platforms are typically comprised of several software and hardware components including platform firmware, host operating system kernel, virtualization monitor, and the actual tenant payloads that run on them…

密码学与安全 · 计算机科学 2023-04-14 Ravi Sahita , Atish Patra , Vedvyas Shanbhogue , Samuel Ortiz , Andrew Bresticker , Dylan Reid , Atul Khare , Rajnesh Kanwal

Cloud computing is a new model of computing which provides scalability, flexibility and on-demand service. Virtualization is one of the main components of the cloud, but unfortunately, this technology suffers from many security…

密码学与安全 · 计算机科学 2018-09-17 Zakaria El Mrabet , Hamid El Ghazi , Tayeb Sadiki , Hassan El Ghazi

Remote Attestation (RA) allows a trusted entity (verifier) to securely measure internal state of a remote untrusted hardware platform (prover). RA can be used to establish a static or dynamic root of trust in embedded and cyber-physical…

密码学与安全 · 计算机科学 2017-03-16 Karim ElDefrawy , Norrathep Rattanavipanon , Gene Tsudik

Modern confidential computing executes sensitive computation in an abstraction called confidential VMs and protects from the hypervisor, host OS, and other co-resident VMs. It has been shown that an attacker can inject malicious interrupts…