2023-12-15[Review] Evaluation of Static Vulnerability Detection Tools with Java Cryptographic API BenchmarksResearch
2023-12-09[Review] CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java ProjectsResearch
2023-12-04[Review] PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative FuzzingResearch
2023-11-28[Review] DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query GenerationResearch
2023-11-23[Review] Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential PromptingResearch
2023-11-22[Review] Prompting Is All You Need: Automated Android Bug Replay with Large Language ModelsResearch
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
![[Review] Python Crypto Misuses in the Wild](/blog/images/32/cover.png)
![[Review] Evaluation of Static Vulnerability Detection Tools with Java Cryptographic API Benchmarks](/blog/images/31/cover.png)
![[Review] CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects](/blog/images/30/cover.png)
![[Review] Automatic Detection of Java Cryptographic API Misuses: Are We There Yet?](/blog/images/29/cover.png)
![[Review] PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing](/blog/images/28/cover.png)
![[Review] DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation](/blog/images/27/cover.png)
![[Review] Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting](/blog/images/26/cover.png)
![[Review] Prompting Is All You Need: Automated Android Bug Replay with Large Language Models](/blog/images/25/cover.png)
![[Review] Examining Zero-Shot Vulnerability Repair with Large Language Models](/blog/images/24/cover.jpg)
![[Review] Automated Program Repair in the Era of Large Pre-trained Language Models](/blog/images/23/cover.jpg)
![[Review] Assisting Static Analysis with Large Language Models: A ChatGPT Experiment](/blog/images/42/cover.png)
![[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths](/blog/images/41/cover.png)
![[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis](/blog/images/40/cover.png)
![[Review] MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation](/blog/images/39/cover.png)
![[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux Kernels](/blog/images/38/cover.png)