Yanju Chen
Scholar

Yanju Chen

Google Scholar ID: SX9yGlUAAAAJ
University of California, San Diego
Program SynthesisProgram VerificationProgramming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
560
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
6 items
No Attack Required: Semantic Fuzzing for Specification Violations in Agent Skills
2026
Cited
0
Options, Not Clicks: Lattice Refinement for Consent-Driven MCP Authorization
2026
Cited
0
Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
2026
Cited
0
Synthesizing Multi-Agent Harnesses for Vulnerability Discovery
2026
Cited
0
Your Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain
2026
Cited
0
Automated Repair of OpenID Connect Programs (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
17 total
Yu Feng
Yu Feng
University of California, Santa Barbara
Isil Dillig
Isil Dillig
UT Austin
Ruben Martins
Ruben Martins
Carnegie Mellon University
Osbert Bastani
Osbert Bastani
University of Pennsylvania
Chenglong Wang
Chenglong Wang
Microsoft Research
Christopher Kruegel
Christopher Kruegel
University of California, Santa Barbara and Cisco, Inc.
Co-author 7
Co-author 7
Giovanni Vigna
Giovanni Vigna
UC Santa Barbara and VMware