22 citations · 22 across the 4 of their papers we have counts for
4 papers
VSpector: Specification-Driven Bug Detection for RISC-V CPUs
Tianyu Jia, Zhaoyang Yu, Yuanliang Chen +3
Detecting RTL design bugs in open-source RISC-V CPU implementations is critical for ensuring system reliability. Traditional detection approaches inherently rely on predefined arti…
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
Juanen Li, Peng Qian, Guanyan Li +6
Smart contracts, serving as the cornerstone of decentralized applications, autonomously manage trillion-dollar digital assets, making them attractive targets for attacks. Fuzzing h…
When Fuzzing Meets LLMs: Challenges and Opportunities
Yu Jiang, Jie Liang, Fuchen Ma +8
Fuzzing, a widely-used technique for bug detection, has seen advancements through Large Language Models (LLMs). Despite their potential, LLMs face specific challenges in fuzzing. I…
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers
Yuanliang Chen, Yu Jiang, Fuchen Ma +5
Fuzzing is widely used for software vulnerability detection. There are various kinds of fuzzers with different fuzzing strategies, and most of them perform well on their targets. H…