Authors

Yue Liu

Publications 3

Preprint Open access

Aletheia: Permission-Minimality Testing for Coding-Agent Rules

Jieke Shi, Yuchen Chen, Junda He et al. · 2026

Repository instruction files guide coding agents, but also expose them to prompt injection. Malicious rules can request credential access or data transfer while the agent produces a correct patch. We present Aletheia, a framework for permission-minimality testing. Aletheia translates requested authority into a typed la …

Co-authors