English
Related papers

Related papers: SRACARE: Secure Remote Attestation with Code Authe…

200 papers

Internet of Things (IoT) platforms with trigger-action capability allow event conditions to trigger actions in IoT devices autonomously by creating a chain of interactions. Adversaries exploit this chain of interactions to maliciously…

Cryptography and Security · Computer Science 2025-03-13 Md Morshed Alam , Lokesh Chandra Das , Sandip Roy , Sachin Shetty , Weichao Wang

Transparent authentication (TA) schemes are those in which a user is authenticated by a verifier without requiring explicit user interaction. By doing so, those schemes promise high usability and security simultaneously. The majority of TA…

Cryptography and Security · Computer Science 2017-03-30 Mika Juuti , Christian Vaas , Ivo Sluganovic , Hans Liljestrand , N. Asokan , Ivan Martinovic

Hardware acceleration can revolutionize robotics, enabling new applications by speeding up robot response times while remaining power-efficient. However, the diversity of acceleration options makes it difficult for roboticists to easily…

Robotics · Computer Science 2023-07-03 Víctor Mayoral-Vilches , Sabrina M. Neuman , Brian Plancher , Vijay Janapa Reddi

Critical-infrastructure operators are increasingly expected to assess and remediate vulnerabilities in deployed industrial software. However, much of this software exists as opaque industrial software (OIS), including stripped firmware,…

Cryptography and Security · Computer Science 2026-05-20 Bowei Ning , Xuejun Zong , Lian Lian , Kan He , Guogang Wang , Yifei Sun , Jinyang Liu

Due to an increase in the availability of cheap off-the-shelf radio hardware, spoofing and replay attacks on satellite ground systems have become more accessible than ever. This is particularly a problem for legacy systems, many of which do…

Cryptography and Security · Computer Science 2023-09-08 Joshua Smailes , Sebastian Köhler , Simon Birnbach , Martin Strohmeier , Ivan Martinovic

Frontier AI developers are relying on layers of safeguards to protect against catastrophic misuse of AI systems. Anthropic and OpenAI guard their latest Opus 4 model and GPT-5 models using such defense pipelines, and other frontier…

Computation and Language · Computer Science 2026-02-06 Ian R. McKenzie , Oskar J. Hollinsworth , Tom Tseng , Xander Davies , Stephen Casper , Aaron D. Tucker , Robert Kirk , Adam Gleave

We study efficient algorithms for Sparse PCA in standard statistical models (spiked covariance in its Wishart form). Our goal is to achieve optimal recovery guarantees while being resilient to small perturbations. Despite a long history of…

Machine Learning · Computer Science 2020-11-13 Tommaso d'Orsi , Pravesh K. Kothari , Gleb Novikov , David Steurer

Reverse engineering (RE) in Integrated Circuits (IC) is a process in which one will attempt to extract the internals of an IC, extract the circuit structure, and determine the gate-level information of an IC. In general, RE process can be…

Responding to the "datacenter tax" and "killer microseconds" problems for datacenter applications, diverse solutions including Smart NIC-based ones have been proposed. Nonetheless, they often suffer from high overhead of communications over…

Hardware Architecture · Computer Science 2022-10-19 Yifan Yuan , Jinghan Huang , Yan Sun , Tianchen Wang , Jacob Nelson , Dan R. K. Ports , Yipeng Wang , Ren Wang , Charlie Tai , Nam Sung Kim

Software security vulnerabilities can lead to severe consequences, making early detection essential. Although code review serves as a critical defense mechanism against security flaws, relevant feedback remains scarce due to limited…

Software Engineering · Computer Science 2026-01-06 Zixiao Zhao , Yanjie Jiang , Hui Liu , Kui Liu , Lu Zhang

FPGAs are increasingly gaining traction in cloud and edge computing environments due to their hardware flexibility, low latency, and low energy consumption. However, the existing hardware stack of FPGA and the host-FPGA connectivity does…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-04 Masudul Hassan Quraishi , Michael Riera , Fengbo Ren , Aman Arora , Aviral Shrivastava

Emerging ultra-low-power tiny scale computing devices in Cyber-Physical Systems %and Internet of Things (IoT) run on harvested energy, are intermittently powered, have limited computational capability, and perform sensing and actuation…

Cryptography and Security · Computer Science 2022-03-23 Yang Su , Michael Chesser , Yansong Gao , Alanson P. Sample , Damith C. Ranasinghe

Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot…

Cryptography and Security · Computer Science 2018-10-04 Ghada Dessouky , Shaza Zeitouni , Thomas Nyman , Andrew Paverd , Lucas Davi , Patrick Koeberl , N. Asokan , Ahmad-Reza Sadeghi

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 investigates sensing, communication, security, and energy efficiency of the heterogeneous integrated sensing and communication networks under challenging operational conditions. We focus on scenarios in which communication…

Information Theory · Computer Science 2026-03-03 Xudong Li , Rugui Yao , Theodoros A. Tsiftsis , Alexandros-Apostolos A. Boulogeorgos

Cameras capture images that are essential for many safety-critical tasks. To process these images, a complex pipeline with multiple layers is used. Security attacks on this pipeline can severely affect passenger safety and system…

Cryptography and Security · Computer Science 2026-01-08 Michael Kühr , Mohammad Hamad , Pedram MohajerAnsari , Mert D. Pesé , Sebastian Steinhorst

RISC-V is gaining popularity for its adaptability and cost-effectiveness in processor design. With the increasing adoption of RISC-V, the importance of implementing robust security verification has grown significantly. In the state of the…

Cryptography and Security · Computer Science 2025-02-17 Sharjeel Imtiaz , Uljana Reinsalu , Tara Ghasempouri

The resource-constrained nature of the Internet of Things (IoT) devices, poses a challenge in designing a secure, reliable, and particularly high-performance communication for this family of devices. Although side-channel resistant ciphers…

Cryptography and Security · Computer Science 2020-04-15 Hadi Mardani Kamali , Kimia Zamiri Azar , Shervin Roshanisefat , Ashkan Vakil , Avesta Sasan

Retrieval-Augmented Generation (RAG) enhances recency and factuality in answers. However, existing evaluations rarely test how well these systems cope with real-world noise, conflicting between internal and external retrieved contexts, or…

Computation and Language · Computer Science 2025-10-29 Yixiao Zeng , Tianyu Cao , Danqing Wang , Xinran Zhao , Zimeng Qiu , Morteza Ziyadi , Tongshuang Wu , Lei Li

The Internet of Things (IoT) is an ongoing technological revolution. Embedded processors are the processing engines of smart IoT devices. For decades, these processors were mainly based on the Arm instruction set architecture (ISA). In…

Cryptography and Security · Computer Science 2021-07-12 Tao Lu