1 citations · 1 across the 6 of their papers we have counts for
7 papers
GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
Bowen Cai, Weiheng Bai, Youshui Lu +4
As blockchain ecosystems grow, financially motivated attackers increasingly exploit decentralized finance (DeFi) protocols, causing frequent and severe losses. Unlike conventional…
Pre-cache: A Microarchitectural Solution to prevent Meltdown and Spectre
Subhash Sethumurugan, Hari Cherupalli, Kangjie Lu +1
Recent work has shown that out-of-order and speculative execution mechanisms used to increase performance in the majority of processors expose the processors to critical attacks. T…
AFLGopher: Accelerating Directed Fuzzing via Feasibility-Aware Guidance
Weiheng Bai, Kefu Wu, Qiushi Wu +1
Directed fuzzing is a useful testing technique that aims to efficiently reach target code sites in a program. The core of directed fuzzing is the guiding mechanism that directs the…
What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs
Xingyu Li, Juefei Pu, Yifan Wu +11
Open-source software projects are foundational to modern software ecosystems, with the Linux kernel standing out as a critical exemplar due to its ubiquity and complexity. Although…
Causally Consistent Normalizing Flow
Qingyang Zhou, Kangjie Lu, Meng Xu
Causal inconsistency arises when the underlying causal graphs captured by generative models like \textit{Normalizing Flows} (NFs) are inconsistent with those specified in causal mo…
APILOT: Navigating Large Language Models to Generate Secure Code by Sidestepping Outdated API Pitfalls
Weiheng Bai, Keyang Xuan, Pengxiang Huang +4
With the rapid development of large language models (LLMs), their applications have expanded into diverse fields, such as code assistance. However, the substantial size of LLMs mak…
BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
Yinggang Guo, Zicheng Wang, Weiheng Bai +2
The endless stream of vulnerabilities urgently calls for principled mitigation to confine the effect of exploitation. However, the monolithic architecture of commodity OS kernels,…