12 citations · 13 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
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.AI2026
The Marathon of Scientific Reasoning: Robustness of Scientific Agents to Perturbations in Multi-Turn Interactions
Xiaoting Lyu, Xinbo Ma, Yufei Han +4
Large language model (LLM)-based scientific agents are increasingly used for scientific problem solving, yet their robustness to imperfections arising during multi-turn interaction…
cs.CR2026
AgentLeak: Cloning Stronger LLM Agent Capabilities onto Weaker Agents Beyond Skill Stealing
Xiaoting Lyu, Yuhong Wu, Yufei Han +5
Large language model (LLM) agents increasingly achieve long-horizon tasks by combining foundation models with explicit skills and implicit procedural knowledge acquired through exe…