3 papers
cs.CR2025
Agora: Trust Less and Open More in Verification for Confidential Computing
Hongbo Chen, Quan Zhou, Sen Yang +4
Binary verification plays a pivotal role in software security, yet building a verification service that is both open and trustworthy poses a formidable challenge. In this paper, we…
cs.CR2025
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
Hongbo Chen, Yifan Zhang, Xing Han +7
Token-inconsistency bugs (TIBs) involve the misuse of syntactically valid yet incorrect code tokens, such as misused variables and erroneous function invocations, which can often l…
cs.OS2025
Concurrency Testing in the Linux Kernel via eBPF
Jiacheng Xu, Dylan Wolff, Xing Yi Han +2
Concurrency is indispensable for modern software systems to meet performance and scalability demands, yet concurrency bugs remain notoriously difficult to detect and reproduce. Con…