English
Related papers

Related papers: Remote Credential Management with Mutual Attestati…

200 papers

Trusted Execution Environments (TEEs) on low-power microcontrollers (e.g., ARM TrustZone-M) enable isolation of Secure and Non-Secure software but still require both worlds to share resources, including interrupt controllers. In this model,…

Cryptography and Security · Computer Science 2026-04-29 Antonio Joia Neto , Amarin Laohajirapan , Norrathep Rattanavipanon , Ivan De Oliveira Nunes

Mobile devices rely on Trusted Execution Environments (TEEs) to execute security-critical code and protect sensitive assets. This security-critical code is modularized in components known as Trusted Applications (TAs). Vulnerabilities in…

Cryptography and Security · Computer Science 2026-01-29 Philipp Mao , Li Shi , Marcel Busch , Mathias Payer

A key feature in trusted computing is attestation, which allows encapsulated components (enclaves) to prove their identity to (local or remote) distrusting components. Reasoning about software that uses the technique requires tracking how…

Programming Languages · Computer Science 2026-04-17 June Rousseau , Denis Carnier , Thomas Van Strydonck , Steven Keuchel , Dominique Devriese , Lars Birkedal

Enterprise software supply chains are increasingly vulnerable to infrastructure attacks, resulting in financial and reputational damage. Ensuring the integrity and provenance of software artifacts remains a significant challenge, where…

Cryptography and Security · Computer Science 2026-05-21 Fernando Castillo , Eduardo Brito , Pille Pullonen-Raudvere , Sebastian Werner , Stefan Tai

Hypertext Transfer Protocol Secure (HTTPS) protocol has become an integral part of modern Internet technology. Currently, it is the primary protocol for commercialized web applications. It can provide a fast, secure connection with a…

Cryptography and Security · Computer Science 2022-09-28 Gordon King , Hans Wang

Preventing abuse of web services by bots is an increasingly important problem, as abusive activities grow in both volume and variety. CAPTCHAs are the most common way for thwarting bot activities. However, they are often ineffective against…

Cryptography and Security · Computer Science 2020-07-22 Yoshimichi Nakatsuka , Ercan Ozturk , Andrew Paverd , Gene Tsudik

Attestation is a strong tool to verify the integrity of an untrusted system. However, in recent years, different attacks have appeared that are able to mislead the attestation process with treacherous practices as memory copy, proxy, and…

Cryptography and Security · Computer Science 2021-10-05 Ignacio M. Delgado-Lozano , Macarena C. Martínez-Rodríguez , Alexandros Bakas , Billy Bob Brumley , Antonis Michalas

Federated learning allows us to distributively train a machine learning model where multiple parties share local model parameters without sharing private data. However, parameter exchange may still leak information. Several approaches have…

Cryptography and Security · Computer Science 2021-11-15 Arup Mondal , Yash More , Ruthu Hulikal Rooparaghunath , Debayan Gupta

Assured Remote Execution on a device is the ability of suitably authorized parties to construct secure channels with known processes -- i.e. processes executing known code -- running on it. Assured Remote Execution requires a hardware basis…

Cryptography and Security · Computer Science 2024-09-24 Scott L. Dyer , Christian A. Femrite , Joshua D. Guttman , Julian P. Lanson , Moses D. Liskov

Cryptocurrency introduces usability challenges by requiring users to manage signing keys. Popular signing key management services (e.g., custodial wallets), however, either introduce a trusted party or burden users with managing signing key…

Cryptography and Security · Computer Science 2024-07-24 Lulu Zhou , Zeyu Liu , Fan Zhang , Michael K. Reiter

Remote mobile and embedded devices are used to deliver increasingly impactful services, such as medical rehabilitation and assistive technologies. Secure system logging is beneficial in these scenarios to aid audit and forensic…

Cryptography and Security · Computer Science 2017-12-20 Carlton Shepherd , Raja Naeem Akram , Konstantinos Markantonakis

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

In recent years, the widespread informatization and rapid data explosion have increased the demand for high-performance heterogeneous systems that integrate multiple computing cores such as CPUs, Graphics Processing Units (GPUs),…

Cryptography and Security · Computer Science 2026-01-27 Qifan Wang , David Oswald

Trying to address the security challenges of a cloud-centric software deployment paradigm, silicon and cloud vendors are introducing confidential computing - an umbrella term aimed at providing hardware and software mechanisms for…

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…

Cryptography and Security · Computer Science 2026-05-14 Di Lu , Qingwen Zhang , Yujia Liu , Xuewen Dong , Yulong Shen , Zhiquan Liu , Jianfeng Ma

Intel Software Guard Extensions (SGX) local and remote attestation mechanisms enable an enclave to attest its identity (i.e., the enclave measurement, which is the cryptographic hash of its initial code and data) to an enclave. To verify…

Cryptography and Security · Computer Science 2026-03-03 Guoxing Chen , Yinqian Zhang

Privacy and security challenges in Machine Learning (ML) have become increasingly severe, along with ML's pervasive development and the recent demonstration of large attack surfaces. As a mature system-oriented approach, Confidential…

Cryptography and Security · Computer Science 2024-06-04 Fan Mo , Zahra Tarkhani , Hamed Haddadi

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…

Cryptography and Security · Computer Science 2025-05-20 Wojciech Ozga , Guerney D. H. Hunt , Michael V. Le , Lennard Gäher , Avraham Shinnar , Elaine R. Palmer , Hani Jamjoom , Silvio Dragone

Combining Federated Learning (FL) with a Trusted Execution Environment (TEE) is a promising approach for realizing privacy-preserving FL, which has garnered significant academic attention in recent years. Implementing the TEE on the server…

Machine Learning · Computer Science 2023-06-21 Fumiyuki Kato , Yang Cao , Masatoshi Yoshikawa

With the rapid advancement of wireless network technology, usage of WSN in real time applications like military, forest monitoring etc. found increasing. Generally WSN operate in an unattended environment and handles critical data.…

Cryptography and Security · Computer Science 2013-11-14 Chandra Sekhar Vorugunti , Mrudula Sarvabhatla