Concurrency bugs arising from asynchronous-synchronous interactions pose a serious and underexplored threat to OS kernel security. Conventional detection methods often fail to capture the delayed triggering nature of asynchronous tasks and their semantic relationships with synchronous execution contexts, limiting their...
Jianzhou Zhao, Yang-Yang Geng, Jing-Yi Wang et al.· IEEE Transactions on Informa...· 0 citations
Fault Localization (FL) is a critical yet inherently complex phase in the software debugging process. Over the years, numerous automated FL techniques have been developed to alleviate the time and effort involved. More recently, the emergence of Large Language Models (LLMs) has marked a new era for FL. However, existin...
Feiyu Chen, Guowei Yang, Cheryl Lee et al.· ACM Transactions on Software...· 0 citations
Programmable Logic Controllers (PLCs) are core components of Industrial Control System (ICS), and their security is essential for the reliable operation of critical infrastructure. However, PLCs are vulnerable to RunStage Attacks, which are runtime attacks that occur when the PLC is in the “Run” mode executing control...
Kaixiang Liu, Jun-Jiao Liu, Zhiwen Pan et al.· IEEE Transactions on Informa...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.