Aletheia: Permission-Minimality Testing for Coding-Agent Rules

arXiv cs.CR · 1 oct, 06:00

Aletheia es un marco para detectar inyecciones de prompt en agentes de codificación mediante pruebas de minimalidad de permisos. El sistema traduce los permisos solicitados a un lenguaje tipado y ejecuta las reglas bajo diferentes restricciones para identificar solicitudes sospechosas de acceso a credenciales o transferencia de datos mientras el agente produce un parche correcto.