Chaofan Shou
3 papers · Latest:
Cryptography & Security
Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
Semia audits LLM agent skills by converting them into a Datalog fact base using CGRS, finding critical risks in over half of real-world skills.
2605.00314
Cryptography & SecuritySynthesizing Multi-Agent Harnesses for Vulnerability Discovery
AgentFlow synthesizes multi-agent harnesses to discover critical zero-day vulnerabilities in software like Google Chrome, outperforming existing methods.
2604.20801
Cryptography & SecurityYour Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain
This paper reveals critical security vulnerabilities in LLM API routers, demonstrating malicious code injection and secret exfiltration attacks.
2604.08407
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.