English
Related papers

Related papers: A practical approach for updating an integrity-enf…

200 papers

Secure and trustworthy execution in heterogeneous SoCs is a major priority in the modern computing system. Security of SoCs mainly addresses two broad layers of trust issues: 1. Protection against hardware security threats(Side-channel, IP…

Cryptography and Security · Computer Science 2022-09-28 Muhammed Kawser Ahmed , Sujan Kumar Saha , Christophe Bobda

The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code can be blamed for any information-flow attack; thus, it is possible to eliminate such attacks by static…

Cryptography and Security · Computer Science 2008-12-18 Avik Chaudhuri , Prasad Naldurg , Sriram Rajamani

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

In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviating the I/O bottleneck. To facilitate in-storage…

Cryptography and Security · Computer Science 2022-05-16 Yuqi Xue , Luyi Kang , Weiwei Jia , Xiaohao Wang , Jongryool Kim , Changhwan Youn , Myeong Joon Kang , Hyung Jin Lim , Bruce Jacob , Jian Huang

In the rapidly evolving landscape of 5G technology, the adoption of cloud-based infrastructure for the deployment of 5G services has become increasingly common. Using a service-based architecture, critical 5G components, such as the Access…

Cryptography and Security · Computer Science 2025-10-06 Al Nahian Bin Emran , Rajendra Upadhyay , Rajendra Paudyal , Lisa Donnan , Duminda Wijesekera

Publish/subscribe systems play a key role in enabling communication between numerous devices in distributed and large-scale architectures. While widely adopted, securing such systems often trades portability for additional integrity and…

Cryptography and Security · Computer Science 2023-12-04 Jämes Ménétrey , Aeneas Grüter , Peterson Yuhala , Julius Oeftiger , Pascal Felber , Marcelo Pasin , Valerio Schiavoni

Many applications benefit from computations over the data of multiple users while preserving confidentiality. We present a solution where multiple mutually distrusting users' data can be aggregated with an acceptable overhead, while…

Cryptography and Security · Computer Science 2024-10-15 Marcus Birgersson , Cyrille Artho , Musard Balliu

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

In this work we present the Secure Machine, SeM for short, a CPU architecture extension for secure computing. SeM uses a small amount of in-chip additional hardware that monitors key communication channels inside the CPU chip, and only acts…

Cryptography and Security · Computer Science 2018-03-13 Ofir Shwartz , Yitzhak Birk

Smartphone owners often need to run security-critical programs on the same device as other untrusted and potentially malicious programs. This requires users to trust hardware and system software to correctly sandbox malicious programs,…

Cryptography and Security · Computer Science 2022-10-24 Zhihao Yao , Seyed Mohammadjavad Seyed Talebi , Mingyi Chen , Ardalan Amiri Sani , Thomas Anderson

We present a method to secure the complete path between a server and the local human user at a network node. This is useful for scenarios like internet banking, electronic signatures, or online voting. Protection of input authenticity and…

Cryptography and Security · Computer Science 2007-05-23 Hanno Langweg , Tommy Kristiansen

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

Cryptography and Security · Computer Science 2022-11-02 Kubilay Ahmet Küçük , Steve Moyle , Andrew Martin , Alexandru Mereacre , Nicholas Allott

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

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…

Cryptography and Security · Computer Science 2023-08-15 AKM Mubashwir Alam , Justin Boyce , Keke Chen

Data integrity is important for non-volatile memory (NVM) systems that maintain data even without power. The data integrity in NVM is possibly compromised by integrity attacks, which can be defended against by integrity verification via…

Cryptography and Security · Computer Science 2021-03-08 Jianming Huang , Yu Hua

Root of Trust Identification (RTI) refers to determining whether a given security service or task is being performed by the particular root of trust (e.g., a TEE) within a specific physical device. Despite its importance, this problem has…

Cryptography and Security · Computer Science 2020-10-28 Ivan De Oliveira Nunes , Xuhua Ding , Gene Tsudik

Widespread adoption and growing popularity of embedded/IoT/CPS devices make them attractive attack targets. On low-to-mid-range devices, security features are typically few or none due to various constraints. Such devices are thus subject…

Cryptography and Security · Computer Science 2023-08-24 Ivan De Oliveira Nunes , Seoyeon Hwang , Sashidhar Jakkamsetti , Norrathep Rattanavipanon , Gene Tsudik

This article delves into the strategic approaches and preventive measures necessary to safeguard the software supply chain against evolving threats. It aims to foster an understanding of the challenges and vulnerabilities inherent in…

Cryptography and Security · Computer Science 2024-07-22 Ahmed Akinsola , Abdullah Akinde

Embedded devices face an ever-expanding threat landscape: vulnerabilities in application software, operating system kernels, and peripherals threaten the embedded device integrity. Existing computer-architectural defenses fully consider at…

Cryptography and Security · Computer Science 2026-03-10 Eric Ackermann , Sven Bugiel

An ever shorter technology lifecycle engendered the need for assessing new technologies w.r.t. their market readiness. Knowing the Technology readiness level (TRL) of a given target technology proved to be useful to mitigate risks such as…

Computers and Society · Computer Science 2022-01-04 Archana Kumari , Stefan Schiffner , Sandra Schmitz