3 papers
cs.CR2026
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
Tianjian Liu, Shicheng Feng, Jin'ao Shang +5
Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification…
cs.SE2026
Beyond Fault Localization: A Trajectory-Level Study of LLM Agents for Microservice Root Cause Analysis
Qisheng Lu, Aoyang Fang, Junjielong Xu +5
Automated microservice root cause analysis (RCA) is usually evaluated by whether the final answer localizes the fault source. This is insufficient for on-call site reliability engi…
cs.AI2026
OpenRCA 2.0: From Outcome Labels to Causal Process Supervision
Aoyang Fang, Yifan Yang, Jin'ao Shang +7
Root cause analysis (RCA) poses a holistic test of LLM agentic capabilities, such as long-context understanding, multi-step reasoning, and tool use. However, existing datasets suff…