English
Related papers

Related papers: Aster: Fixing the Android TEE Ecosystem with Arm C…

200 papers

To identify security vulnerabilities in Android applications, numerous static application security testing (SAST) tools have been proposed. However, it poses significant challenges to assess their overall performance on diverse…

Software Engineering · Computer Science 2024-10-29 Jingyun Zhu , Kaixuan Li , Sen Chen , Lingling Fan , Junjie Wang , Xiaofei Xie

Data hosted in a cloud environment can be subject to attacks from a higher privileged adversary, such as a malicious or compromised cloud provider. To provide confidentiality and integrity even in the presence of such an adversary, a number…

Cryptography and Security · Computer Science 2019-07-24 Mathias Morbitzer

The emergence of mobile applications to execute sensitive operations has brought a myriad of security threats to both enterprises and users. In order to benefit from the large potential in smartphones there is a need to manage the risks…

Cryptography and Security · Computer Science 2016-06-10 Ahmad-Atamli Reineh , Giuseppe Petracca , Janne Uusilehto , Andrew Martin

Programmable logic controllers (PLCs) are crucial devices for implementing automated control in various industrial control systems (ICS), such as smart power grids, water treatment systems, manufacturing, and transportation systems. Owing…

Cryptography and Security · Computer Science 2024-03-11 Zhiang Li , Daisuke Mashima , Wen Shei Ong , Ertem Esiner , Zbigniew Kalbarczyk , Ee-Chien Chang

In recent years, the increasing awareness of cybersecurity has led to a heightened focus on information security within hardware devices and products. Incorporating Trusted Execution Environments (TEEs) into product designs has become a…

Cryptography and Security · Computer Science 2025-07-14 Chun-I Fan , Li-En Chang , Cheng-Han Shie

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed…

Cryptography and Security · Computer Science 2026-03-10 Amir Al Sadi , Sina Abdollahi , Adrien Ghosn , Hamed Haddadi , Marios Kogias

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…

Cryptography and Security · Computer Science 2026-03-09 Will Thomas , Logan Schmalz , Adam Petz , Perry Alexander , Joshua D. Guttman , Paul D. Rowe , James Carter

This paper presents an approach to provide strong assurance of the secure execution of distributed event-driven applications on shared infrastructures, while relying on a small Trusted Computing Base. We build upon and extend security…

Cryptography and Security · Computer Science 2023-06-30 Gianluca Scopelliti , Sepideh Pouyanrad , Job Noorman , Fritz Alder , Christoph Baumann , Frank Piessens , Jan Tobias Mühlberg

There is an urgent demand for privacy-preserving techniques capable of supporting compute and data intensive (CDI) computing in the era of big data. However, none of existing TEEs can truly support CDI computing tasks, as CDI requires high…

Cryptography and Security · Computer Science 2019-04-15 Jianping Zhu , Rui Hou , XiaoFeng Wang , Wenhao Wang , Jiangfeng Cao , Lutan Zhao , Fengkai Yuan , Peinan Li , Zhongpu Wang , Boyan Zhao , Lixin Zhang , Dan Meng

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

A number of trusted execution environments (TEEs) have been proposed by both academia and industry. However, most of them require specific hardware or firmware changes and are bound to specific hardware vendors (such as Intel, AMD, ARM, and…

Cryptography and Security · Computer Science 2022-12-09 Yuekai Jia , Shuang Liu , Wenhao Wang , Yu Chen , Zhengde Zhai , Shoumeng Yan , Zhengyu He

Like many desktop operating systems in the 1990s, Android is now in the process of including support for multi-user scenarios. Because these scenarios introduce new threats to the system, we should have an understanding of how well the…

Cryptography and Security · Computer Science 2014-10-29 Paul Ratazzi , Yousra Aafer , Amit Ahlawat , Hao Hao , Yifei Wang , Wenliang Du

Security is one of the main challenges of the Internet of Things (IoT). IoT devices are mainly powered by low-cost microcontrollers (MCUs) that typically lack basic hardware security mechanisms to separate security-critical applications…

Cryptography and Security · Computer Science 2022-02-17 Daniel Oliveira , Tiago Gomes , Sandro Pinto

This paper presents C8s, a confidential computing architecture for Kubernetes that provides cryptographically rooted confidentiality, integrity, and verifiability guarantees for Kubernetes clusters from infrastructure operators. These…

Cryptography and Security · Computer Science 2026-05-01 Amean Asad , Patrick McClurg , João Andrade

Trusted execution environment (TEE) technology has found many applications in mitigating various security risks in an efficient manner, which is attractive for critical infrastructure protection. First, the natural of critical…

Cryptography and Security · Computer Science 2023-09-14 Rabimba Karanjai , Rowan Collier , Zhimin Gao , Lin Chen , Xinxin Fan , Taeweon Suh , Weidong Shi , Lei Xu

Android filesystem access control provides a foundation for Android system integrity. Android utilizes a combination of mandatory (e.g., SEAndroid) and discretionary (e.g., UNIX permissions) access control, both to protect the Android…

Cryptography and Security · Computer Science 2020-08-11 Yu-Tsung Lee , William Enck , Haining Chen , Hayawardh Vijayakumar , Ninghui Li , Daimeng Wang , Zhiyun Qian , Giuseppe Petracca , Trent Jaeger

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

Smart devices produce security-sensitive data and keep them in on-device storage for persistence. The current storage stack on smart devices, however, offers weak security guarantees: not only because the stack depends on a vulnerable…

Cryptography and Security · Computer Science 2019-02-19 Liwei Guo , Yiying Zhang , Felix Xiaozhu Lin

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code…

Programming Languages · Computer Science 2023-07-26 Abhiroop Sarkar , Robert Krook , Alejandro Russo , Koen Claessen

Trusted Execution Environments (TEEs) embedded in IoT devices provide a deployable solution to secure IoT applications at the hardware level. By design, in TEEs, the Trusted Operating System (Trusted OS) is the primary component. It enables…

Cryptography and Security · Computer Science 2023-09-27 Qinying Wang , Boyu Chang , Shouling Ji , Yuan Tian , Xuhong Zhang , Binbin Zhao , Gaoning Pan , Chenyang Lyu , Mathias Payer , Wenhai Wang , Raheem Beyah