中文
相关论文

相关论文: Bridging the Gap between Hardware Fuzzing and Indu…

200 篇论文

With ever advancing in digital system, security has been emerged as a major concern. Many researchers all around the world come up with solutions to address various challenges that are crucial for industry and market. The aim of this survey…

密码学与安全 · 计算机科学 2018-01-03 Payman Behnam

Modern computing is shifting from homogeneous CPU-centric systems to heterogeneous systems with closely integrated CPUs and GPUs. While the CPU software stack has benefited from decades of memory safety hardening, the GPU software stack…

密码学与安全 · 计算机科学 2026-03-09 Mingkai Li , Joseph Devietti , Suman Jana , Tanvir Ahmed Khan

In future nuclear arms control treaties, it will be necessary to authenticate the hardware and software components of verification measurement systems, i.e., to ensure these systems are functioning as intended and have not been tampered…

仪器与探测器 · 物理学 2026-04-14 Jayson R Vavrek , Luozhong Zhou , Joshua Boverhof , Elisa R Heymann , Barton P Miller , Sean Peisert

Fuzzing is a technique of finding bugs by executing a software recurrently with a large number of abnormal inputs. Most of the existing fuzzers consider all parts of a software equally, and pay too much attention on how to improve the code…

密码学与安全 · 计算机科学 2019-01-07 Yuwei Li , Shouling Ji , Chenyang Lv , Yuan Chen , Jianhai Chen , Qinchen Gu , Chunming Wu

Fuzzing is a well-established technique in the software domain to uncover bugs and vulnerabilities. Yet, applications of fuzzing for security vulnerabilities in hardware systems are scarce, as principal reasons are requirements for design…

密码学与安全 · 计算机科学 2024-02-16 Maik Ender , Felix Hahn , Marc Fyrbiak , Amir Moradi , Christof Paar

Protocol fuzzing is a scalable and cost-effective technique for identifying security vulnerabilities in deployed Internet of Things devices. During their operational phase, IoT devices often run lightweight servers to handle user…

密码学与安全 · 计算机科学 2025-09-12 Priyanka Rushikesh Chaudhary , Rajib Ranjan Maiti

Hardware-firmware co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of firmware and hardware, it can lead to state space explosion. There are promising…

符号计算 · 计算机科学 2024-04-18 Aruna Jayasena , Prabhat Mishra

Due to its importance and widespread use in industry, automated testing of REST APIs has attracted major interest from the research community in the last few years. However, most of the work in the literature has been focused on black-box…

软件工程 · 计算机科学 2023-09-18 Andrea Arcuri , Man Zhang , Juan Pablo Galeotti

Internet of Things (IoT) is a system that consists of a large number of smart devices connected through a network. The number of these devices is increasing rapidly, which creates a massive and complex network with a vast amount of data…

密码学与安全 · 计算机科学 2020-01-28 Fatimah Aljaafari , Lucas C. Cordeiro , Mustafa A. Mustafa

In the modern era where software plays a pivotal role, software security and vulnerability analysis are essential for secure software development. Fuzzing test, as an efficient and traditional software testing method, has been widely…

软件工程 · 计算机科学 2025-05-20 Linghan Huang , Peizhou Zhao , Huaming Chen , Lei Ma

The field of industrial defect detection using machine learning and deep learning is a subject of active research. Datasets, also called benchmarks, are used to compare and assess research results. There is a number of datasets in…

计算机视觉与模式识别 · 计算机科学 2023-05-23 Philippe Carvalho , Alexandre Durupt , Yves Grandvalet

As mobile networks transition to 5G infrastructure, ensuring robust security becomes more important due to the complex architecture and expanded attack surface. Traditional security testing approaches for 5G networks rely on black-box…

密码学与安全 · 计算机科学 2026-02-26 Yu Wang , Yang Xiang , Chandra Thapa , Hajime Suzuki

Vulnerabilities in open-source operating systems (OSs) pose substantial security risks to software systems, making their detection crucial. While fuzzing has been an effective vulnerability detection technique in various domains, OS fuzzing…

操作系统 · 计算机科学 2026-01-21 Kun Hu , Qicai Chen , Wenzhuo Zhang , Zilong Lu , Bihuan Chen , You Lu , Haowen Jiang , Bingkun Sun , Xin Peng , Wenyun Zhao

Fuzz testing to find semantic control vulnerabilities is an essential activity to evaluate the robustness of autonomous driving (AD) software. Whilst there is a preponderance of disparate fuzzing tools that target different parts of the…

密码学与安全 · 计算机科学 2025-04-16 Andrew Roberts , Lorenz Teply , Mert D. Pese , Olaf Maennel , Mohammad Hamad , Sebastian Steinhorst

This paper explores the integration of MPI-based synchronization techniques into distributed fuzzing frameworks, highlighting possible substantial performance improvements compared to traditional filesystem-based synchronization methods. By…

软件工程 · 计算机科学 2025-12-02 Pierciro Caliandro , Matteo Ciccaglione , Alessandro Pellegrini

Timing vulnerabilities in processors have emerged as a potent threat. As processors are the foundation of any computing system, identifying these flaws is imperative. Recently fuzzing techniques, traditionally used for detecting software…

Fuzzing is a well-established technique for detecting bugs and vulnerabilities. With the surge of fuzzers and fuzzer platforms being developed such as AFL and OSSFuzz rises the necessity to benchmark these tools' performance. A common…

软件工程 · 计算机科学 2025-03-26 Timothée Riom , Sabine Houy , Bruno Kreyssig , Alexandre Bartel

Fuzzing has gained in popularity for software vulnerability detection by virtue of the tremendous effort to develop a diverse set of fuzzers. Thanks to various fuzzing techniques, most of the fuzzers have been able to demonstrate great…

密码学与安全 · 计算机科学 2023-02-28 Yu-Fu Fu , Jaehyuk Lee , Taesoo Kim

Nowadays, face recognition systems surpass human performance on several datasets. However, there are still edge cases that the machine can't correctly classify. This paper investigates the effect of a combination of machine and human…

计算机视觉与模式识别 · 计算机科学 2023-08-25 Martin Knoche , Gerhard Rigoll

Smart contract (SC) fuzzing is a critical technique for detecting vulnerabilities in blockchain applications. However, its adoption remains challenging for practitioners due to fundamental differences between SCs and traditional software…

人机交互 · 计算机科学 2025-06-10 Guanming Qiao , Partha Protim Paul