English
Related papers

Related papers: SNPGuard: Remote Attestation of SEV-SNP VMs Using …

200 papers

Intel(r) Software Guard Extensions (SGX) was originally released on client platforms and later extended to single socket server platforms. As developers have become familiar with the capabilities of the technology, the applicability of this…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-14 Simon Johnson , Raghunandan Makaram , Amy Santoni , Vinnie Scarlata

Trust is of paramount concern for tenants to deploy their security-sensitive services in the cloud. The integrity of VMs in which these services are deployed needs to be ensured even in the presence of powerful adversaries with…

Cryptography and Security · Computer Science 2021-07-07 Wojciech Ozga , Do Le Quoc , Christof Fetzer

Confidential Computing enhances privacy of data in-use through hardware-based Trusted Execution Environments (TEEs) that use attestation to verify their integrity, authenticity, and certain runtime properties, along with those of the…

Cryptography and Security · Computer Science 2024-12-09 Ceren Kocaoğullar , Tina Marjanov , Ivan Petrov , Ben Laurie , Al Cutter , Christoph Kern , Alice Hutchings , Alastair R. Beresford

Key-Value Stores (KVSs) are No-SQL databases that store data as key-value pairs and have gained popularity due to their simplicity, scalability, and fast retrieval capabilities. However, storing sensitive data in KVSs requires strong…

Cryptography and Security · Computer Science 2025-01-07 Aghiles Ait Messaoud , Sonia Ben Mokhtar , Anthony Simonet-Boulogne

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…

Cryptography and Security · Computer Science 2023-04-04 Wojciech Ozga , Patricia Sagmeister , Tamás Visegrády , Silvio Dragone

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.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-27 Ayaz Akram , Anna Giannakou , Venkatesh Akella , Jason Lowe-Power , Sean Peisert

Protection of data-in-use is a key priority, for which Trusted Execution Environment (TEE) technology has unarguably emerged as a, possibly the most, promising solution. Multiple server-side TEE offerings have been released over the years,…

Cryptography and Security · Computer Science 2025-04-03 Luigi Coppolino , Salvatore D'Antonio , Davide Iasio , Giovanni Mazzeo , Luigi Romano

The popularity of the Java programming language has led to its wide adoption in cloud computing infrastructures. However, Java applications running in untrusted clouds are vulnerable to various forms of privileged attacks. The emergence of…

Cryptography and Security · Computer Science 2025-10-14 Peterson Yuhala , Jämes Ménétrey , Pascal Felber , Valerio Schiavoni , Alain Tchana , Gaël Thomas , Hugo Guiroux , Jean-Pierre Lozi

Machine learning has become a critical component of modern data-driven online services. Typically, the training phase of machine learning techniques requires to process large-scale datasets which may contain private and sensitive…

Cryptography and Security · Computer Science 2019-02-13 Roland Kunkel , Do Le Quoc , Franz Gregor , Sergei Arnautov , Pramod Bhatotia , Christof Fetzer

Secure aggregation enables a group of mutually distrustful parties, each holding private inputs, to collaboratively compute an aggregate value while preserving the privacy of their individual inputs. However, a major challenge in adopting…

Cryptography and Security · Computer Science 2025-04-14 Romain de Laage , Peterson Yuhala , François-Xavier Wicht , Pascal Felber , Christian Cachin , Valerio Schiavoni

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

Confidential virtual machines (CVMs) based on trusted execution environments (TEEs) enable new privacy-preserving solutions. Yet, they leave side-channel leakage outside their threat model, shifting the responsibility of mitigating such…

Cryptography and Security · Computer Science 2025-12-15 Ruiyi Zhang , Albert Cheu , Adria Gascon , Daniel Moghimi , Phillipp Schoppmann , Michael Schwarz , Octavian Suciu

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…

Cryptography and Security · Computer Science 2019-07-29 Thomas Knauth , Michael Steiner , Somnath Chakrabarti , Li Lei , Cedric Xing , Mona Vij

A niche corner of the Web3 world is increasingly making use of hardware-based Trusted Execution Environments (TEEs) to build decentralized infrastructure. One of the motivations to use TEEs is to go beyond the current performance…

Cryptography and Security · Computer Science 2024-10-10 Sylvain Bellemare

Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniques present a natural source of inspiration for monitoring…

Cryptography and Security · Computer Science 2023-10-05 Robert Abela , Christian Colombo , Axel Curmi , Mattea Fenech , Mark Vella , Angelo Ferrando

Confidential services running in hardware-protected Trusted Execution Environments (TEEs) can provide higher security assurance, but this requires custom clients and protocols to distribute, update, and verify their attestation evidence.…

Cryptography and Security · Computer Science 2025-03-20 Antoine Delignat-Lavaud , Cédric Fournet , Kapil Vaswani , Manuel Costa , Sylvan Clebsch , Christoph M. Wintersteiger

Cloud computing is a convenient model for processing data remotely. However, users must trust their cloud provider with the confidentiality and integrity of the stored and processed data. To increase the protection of virtual machines, AMD…

Cryptography and Security · Computer Science 2020-10-15 Martin Radev , Mathias Morbitzer

FPGAs are now used in public clouds to accelerate a wide range of applications, including many that operate on sensitive data such as financial and medical records. We present ShEF, a trusted execution environment (TEE) for cloud-based…

Cryptography and Security · Computer Science 2022-01-31 Mark Zhao , Mingyu Gao , Christos Kozyrakis

Using cloud-based applications comes with privacy implications, as the end-user looses control over their data. While encrypting all data on the client is possible, it largely reduces the usefulness of database management systems (DBMS)…

Cryptography and Security · Computer Science 2024-11-05 Louis Vialar , Jämes Ménétrey , Valerio Schiavoni , Pascal Felber

One reason for not adopting cloud services is the required trust in the cloud provider: As they control the hypervisor, any data processed in the system is accessible to them. Full memory encryption for Virtual Machines (VM) protects…

Cryptography and Security · Computer Science 2020-04-24 Luca Wilke , Jan Wichelmann , Mathias Morbitzer , Thomas Eisenbarth