中文
相关论文

相关论文: Patchlings: Safety-Preserving Flash-Based Hotpatch…

200 篇论文

Recent developments in the smart mobility domain have transformed automobiles into networked transportation agents helping realize new age, large-scale intelligent transportation systems (ITS). The motivation behind such networked…

密码学与安全 · 计算机科学 2024-08-05 Ipsita Koley , Sunandan Adhikary , Rohit Rohit , Soumyajit Dey

The ongoing connection and automation of vehicles leads to a closer interaction of the individual vehicle components, which demands for consideration throughout the entire development process. In the design phase, this is achieved through…

系统与控制 · 电气工程与系统科学 2024-01-23 Peter Baumann , Lars Mikelsons , Oliver Kotte , Dieter Schramm

The amount of software in modern cars is increasing continuously with traditional electric/electronic (E/E) architectures reaching their limit when deploying complex applications, e.g., regarding bandwidth or computational power. To…

分布式、并行与集群计算 · 计算机科学 2024-06-18 Kevin Klein , Pascal Hirmer , Steffen Becker

Transformer models rely on High-Performance Computing (HPC) resources for inference, where soft errors are inevitable in large-scale systems, making the reliability of the model particularly critical. Existing fault tolerance frameworks for…

分布式、并行与集群计算 · 计算机科学 2025-08-14 Huangliang Dai , Shixun Wu , Jiajun Huang , Zizhe Jian , Yue Zhu , Haiyang Hu , Zizhong Chen

Open-source software (OSS) vulnerabilities are increasingly prevalent, emphasizing the importance of security patches. However, in widely used security platforms like NVD, a substantial number of CVE records still lack trace links to…

软件工程 · 计算机科学 2024-07-25 Kaixuan Li , Jian Zhang , Sen Chen , Han Liu , Yang Liu , Yixiang Chen

Hardware-firmware integration is becoming a productivity bottleneck due to the increasing complexity of accelerators, characterized by intricate memory hierarchies and firmware-intensive execution. While numerous verification techniques…

硬件体系结构 · 计算机科学 2026-04-14 G Abarajithan , Zhenghua Ma , Francesco Restuccia , Ryan Kastner

Ensuring the safe and efficient operation of CAVs relies heavily on the software framework used. A software framework needs to ensure real-time properties, reliable communication, and efficient resource utilization. Furthermore, a software…

多智能体系统 · 计算机科学 2025-05-07 David Klüner , Simon Schäfer , Lucas Hegerath , Jianye Xu , Julius Kahle , Hazem Ibrahim , Alexandru Kampmann , Bassam Alrifaee

Safety alignment of large language models (LLMs) has been gaining increasing attention. However, current safety-aligned LLMs suffer from the fragile and imbalanced safety mechanisms, which can still be induced to generate unsafe responses,…

计算与语言 · 计算机科学 2024-12-18 Weixiang Zhao , Yulin Hu , Zhuojun Li , Yang Deng , Jiahe Guo , Xingyu Sui , Yanyan Zhao , Bing Qin , Tat-Seng Chua , Ting Liu

Dynamic analysis and especially fuzzing are challenging tasks for embedded firmware running on modern low-end Microcontroller Units (MCUs) due to performance overheads from instruction emulation, the difficulty of emulating the vast space…

密码学与安全 · 计算机科学 2024-12-18 Florian Hofhammer , Qinying Wang , Atri Bhattacharyya , Majid Salehi , Bruno Crispo , Manuel Egele , Mathias Payer , Marcel Busch

An upstream task for software bill-of-materials (SBOMs) is the accurate localization of the patch that fixes a vulnerability. Nevertheless, existing work reveals a significant gap in the CVEs whose patches exist but are not traceable.…

密码学与安全 · 计算机科学 2025-08-18 Xueqing Liu , Jiangrui Zheng , Guanqun Yang , Siyan Wen , Qiushi Liu , Xiaoyin Wang

Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, too. Consolidating worlds at different criticalities is a…

分布式、并行与集群计算 · 计算机科学 2022-05-26 Marcello Cinque , Luigi De Simone , Andrea Marchetta

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…

密码学与安全 · 计算机科学 2026-03-10 Eric Ackermann , Sven Bugiel

Modern vehicles become increasingly digitalized with advanced information technology-based solutions like advanced driving assistance systems and vehicle-to-x communications. These systems are complex and interconnected. Rising complexity…

Many aerospace and automotive applications use FPGAs in their designs due to their low power and reconfigurability requirements. Meanwhile, such applications also pose a high standard on system reliability, which makes the early-stage…

硬件体系结构 · 计算机科学 2023-03-23 Eduardo Rhod , Behnam Ghavami , Zhenman Fang , Lesley Shannon

Embedded systems are parts of our daily life and used in many fields. They can be found in smartphones or in modern cars including GPS, light/rain sensors and other electronic assistance mechanisms. These systems may handle sensitive data…

密码学与安全 · 计算机科学 2016-02-23 Pascal Cotret , Guy Gogniat , Martha Johanna Sepulveda Florez

The increase in vehicle ownership has led to increased traffic congestion, more accidents, and higher carbon emissions. Vehicle platooning is a promising solution to address these issues by improving road capacity and reducing fuel…

机器人学 · 计算机科学 2025-11-25 Jiale Zhang , Yeqiang Qian , Tong Qin , Mingyang Jiang , Siyuan Chen , Ming Yang

We present a novel efficient adaptive sensing and monitoring solution for a system of mobile sensing devices that support traffic monitoring applications. We make a key observation that much of the variance in commute times arises at a few…

网络与互联网体系结构 · 计算机科学 2014-12-09 Vikram Munishwar , Vinay Kolar , Praveen Jayachandran , Ravi Kokku

Evolving cybersecurity threats in complex cyber-physical systems pose significant risks to system functionality and safety. This experience report introduces ACTISM (Automotive Consequence-Driven and Threat-Informed Security Modelling), an…

密码学与安全 · 计算机科学 2025-02-06 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

Secure and reliable communications are crucial for Intelligent Transportation Systems (ITSs), where Vehicle-to-Infrastructure (V2I) communication plays a key role in enabling mobility-enhancing and safety-critical services. Current V2I…

Platooning within autonomous vehicles has proven effective in addressing driver shortages and reducing fuel consumption. However, as platooning lengths increase, traditional C-V2X (cellular vehicle-to-everything) architectures are…

网络与互联网体系结构 · 计算机科学 2025-06-25 Zhiyi Zhu , Eiji Takimoto , Patrick Finnerty , Chikara Ohta