2023-10-26[Review] A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT FirmwareResearch
2023-10-26[Review] How IoT Re-using Threatens Your Sensitive Data: Exploring the User-Data Disposal in Used IoT DevicesResearch
2023-10-24[Review] Squirrel: Testing Database Management Systems with Language Validity and Coverage FeedbackResearch
2024-07-12[Review] Assisting Static Analysis with Large Language Models: A ChatGPT ExperimentResearch
2024-07-04[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar PathsResearch
2024-06-04[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program AnalysisResearch
2024-04-25[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux KernelsResearch