English
Related papers

Related papers: CTR: Checkpoint, Transfer, and Restore for Secure …

200 papers

As cloud-based ML expands, ensuring data security during training and inference is critical. GPU-based Trusted Execution Environments (TEEs) offer secure, high-performance solutions, with CPU TEEs managing data movement and GPU TEEs…

Cryptography and Security · Computer Science 2024-10-22 Yongqin Wang , Rachit Rajat , Jonghyun Lee , Tingting Tang , Murali Annavaram

Process Execution Engines are a vital part of Business Process Management (BPM) and Manufacturing Orchestration Management (MOM), as they allow the business or manufacturing logic (expressed in a graphical notation such as BPMN) to be…

Other Computer Science · Computer Science 2022-09-20 Juergen Mangler , Stefanie Rinderle-Ma

Trusted Execution Environments (TEEs) allow the secure execution of code on remote systems without the need to trust their operators. They use static attestation as a central mechanism for establishing trust, allowing remote parties to…

Cryptography and Security · Computer Science 2026-04-01 Claudius Pott , Luca Wilke , Jan Wichelmann , Thomas Eisenbarth

Control Flow Attestation (CFA) offers a means to detect control flow hijacking attacks on remote devices, enabling verification of their runtime trustworthiness. CFA generates a trace (CFLog) containing the destination of all branching…

Cryptography and Security · Computer Science 2024-10-01 Adam Caulfield , Antonio Joia Neto , Norrathep Rattanavipanon , Ivan De Oliveira Nunes

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…

Cryptography and Security · Computer Science 2021-05-14 Pedro Antonino , Wojciech Aleksander Wołoszyn , A. W. Roscoe

General-purpose operating systems (GPOS), such as Linux, encompass several million lines of code. Statistically, a larger code base inevitably leads to a higher number of potential vulnerabilities and inherently a more vulnerable system. To…

Cryptography and Security · Computer Science 2022-09-14 Samuel Pereira , Joao Sousa , Sandro Pinto , José Martins , David Cerdeira

Secure Element (SE) in SoC sees an increasing adoption in industry. Many applications in IoT devices are bound to the SE because it provides strong cryptographic functions and physical protection. Though SE-in-SoC provides strong proven…

Cryptography and Security · Computer Science 2022-08-09 Xuanle Ren , Xiaoxia Cui

The rapid integration of Large Language Models (LLMs) into decentralized physical infrastructure networks (DePIN) is currently bottlenecked by the Verifiability Trilemma, which posits that a decentralized inference system cannot…

Cryptography and Security · Computer Science 2025-12-24 Aaron Chan , Alex Ding , Frank Chen , Alan Wu , Bruce Zhang , Arther Tian

Cloud workloads have dominated generative AI based on large language models (LLM). Specialized hardware accelerators, such as GPUs, NPUs, and TPUs, play a key role in AI adoption due to their superior performance over general-purpose CPUs.…

Cryptography and Security · Computer Science 2024-07-17 Aritra Dhar , Clément Thorens , Lara Magdalena Lazier , Lukas Cavigelli

In real-world scenarios, trusted execution environments (TEEs) frequently host applications that lack the trust of the infrastructure provider, as well as data owners who have specifically outsourced their data for remote processing. We…

Cryptography and Security · Computer Science 2023-12-15 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni , Giovanni Mazzeo , Arne Hollum , Darshan Vaydia

As cloud computing gains traction, data owners are outsourcing their data to cloud service providers (CSPs) for Database Service (DBaaS), bringing in a deviation of data ownership and usage, and intensifying privacy concerns, especially…

Cryptography and Security · Computer Science 2024-04-11 Hui Li , Jingwen Shi , Qi Tian , Zheng Li , Yan Fu , Bingqing Shen , Yaofeng Tu

Trusted Execution Environments (TEEs) provide hardware-enforced isolation that protects sensitive code and data from untrusted software. Despite their strong security guarantees, analyzing TEE applications remains challenging due to the…

Software Engineering · Computer Science 2026-05-22 Chengyan Ma , Jieke Shi , Ruidong Han , Ye Liu , Yuqing Niu , David Lo

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

Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in…

Cryptography and Security · Computer Science 2026-02-12 Fernando Castillo , Jonathan Heiss , Sebastian Werner , Stefan Tai

Trusted Execution Environments (TEEs) provide hardware-based isolation to protect sensitive data and computations from potentially compromised operating systems (OS). However, TEE applications inevitably interact with the untrusted OS…

Software Engineering · Computer Science 2026-05-22 Chengyan Ma , Jieke Shi , Ruidong Han , Ye Liu , Feng Li , Yuqing Niu , David Lo

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

Cryptography and Security · Computer Science 2026-01-15 Annika Wilde , Samira Briongos , Claudio Soriente , Ghassan Karame

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

The TrustZone technology, available in the vast majority of recent ARM processors, allows the execution of code inside a so-called secure world. It effectively provides hardware-isolated areas of the processor for sensitive data and code,…

Operating Systems · Computer Science 2019-06-27 Julien Amacher , Valerio Schiavoni

MLaaS (Machine Learning as a Service) has become popular in the cloud computing domain, allowing users to leverage cloud resources for running private inference of ML models on their data. However, ensuring user input privacy and secure…

Cryptography and Security · Computer Science 2024-04-12 Kishore Rajasekar , Randolph Loh , Kar Wai Fok , Vrizlynn L. L. Thing

This paper considers a federated learning system composed of a central coordinating server and multiple distributed local workers, all having access to trusted execution environments (TEEs). In order to ensure that the untrusted workers…

Cryptography and Security · Computer Science 2021-11-05 Wensheng Zhang , Trent Muhr