Papers

• Injecagent: Benchmarking Indirect Prompt Injections In Tool-integrated Large Language Model Agents (2024)
  Qiusi Zhan, Zhixiang Liang, Zifan Ying, et al.
  15.95
• Harmbench: A Standardized Evaluation Framework For Automated Red Teaming And Robust Refusal (2024)
  Mantas Mazeika, Long Phan, Xuwang Yin, et al.
  5.95
• Knowledge Over Parameters: Evolving Smart Contract Vulnerability Detection (2026)
  Yuqiang Sun et al.
  5.01
• SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing (2026)
  Junmin Zhu et al.
  5.01
• SLBench: Evaluating How LLM Agents Follow Logical Relations in Skills (2026)
  Xuan Chen et al.
  5.01
• AgentFlow: Building Agent Dependency Graphs for Static Analysis of Agent Programs (2026)
  Shenao Wang et al.
  4.39
• Steerability via constraints: a substrate for scalable oversight of coding agents (2026)
  Thomas Winninger
  4.39
• HTTP REST API Structure Learning (2026)
  Ran Dubin et al.
  4.39
• Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition (2026)
  Xing Zhang et al.
  4.39
• Finding and Understanding Miscompilation Bugs in the Solidity Compiler (2026)
  Bhargava Shastry
  4.39
• Reason Less, Verify More: Deterministic Gates Recover a Silent Policy-Violation Failure Mode in Tool-Using LLM Agents (2026)
  Vikas Reddy et al.
  4.39
• Beyond Attack-Success Rate: Action-Graded Severity Scale for Tool-Using AI Agents (2026)
  Harry Owiredu-Ashley
  4.39
• Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications (2026)
  Yutao Shi et al.
  4.33
• Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics (2026)
  Willem Meijer et al.
  4.33
• AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming (2026)
  Pingchuan Ma et al.
  4.33
• Operational Reframing and Approval-Framed Delegation in Multi-Agent LLM Safety (2026)
  Lifei Liu et al.
  3.51
• Safesearch: Automated Red-teaming Of Llm-based Search Agents (2025)
  Jianshuo Dong, Sheng Guo, Hao Wang, et al.
  3.09
• KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification (2026)
  Minghua Wang et al.
  2.00
• HarnessLLM: Rust Verification Harness Generation with Large Language Models (2026)
  Minghua Wang et al.
  2.00
• Symbolon: Symbolic Execution by Learning Code Transformation (2026)
  Jie Zhu et al.
  1.94
• Analyzing Chain Of Thought (cot) Approaches In Control Flow Code Deobfuscation Tasks (2026)
  Seyedreza Mohseni, Sarvesh Baskar, Edward Raff, et al.
  1.94
• Codehacker: Automated Test Case Generation For Detecting Vulnerabilities In Competitive Programming Solutions (2026)
  Jingwei Shi, Xinxiang Yin, Jing Huang, et al.
  1.94
• The Double Life Of Code World Models: Provably Unmasking Malicious Behavior Through Execution Traces (2025)
  Subramanyam Sahoo
  1.28
• An Optimizable Suffix Is Worth A Thousand Templates: Efficient Black-box Jailbreaking Without Affirmative Phrases Via LLM As Optimizer (2024)
  Weipeng Jiang, Zhenting Wang, Juan Zhai, et al.
  0.00