Yu Feng
Scholar

Yu Feng

Google Scholar ID: urQ9fNgAAAAJ
University of California, Santa Barbara
Programming languagesProgram VerificationProgram SynthesisSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,558
 
H-index
25
 
i10-index
29
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
5 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
Resume (English only)
Co-authors
8 total
Isil Dillig
Isil Dillig
UT Austin
Ruben Martins
Ruben Martins
Carnegie Mellon University
Saswat Anand
Saswat Anand
Google
Osbert Bastani
Osbert Bastani
University of Pennsylvania
Alex Aiken
Alex Aiken
Professor of Computer Science, Stanford University
Swarat Chaudhuri
Swarat Chaudhuri
UT Austin, Google DeepMind
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Co-author 8
Co-author 8