Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure

arXiv cs.CR · 6 oct, 06:00

Investigadores proponen Attestable Audit, una arquitectura que permite verificar la integridad y seguridad de cargas de trabajo propietarias en Trusted Execution Environments (TEEs) sin divulgar el código fuente ni los artefactos compilados. El sistema encadena certificados de attestation de compilación y auditoría automatizada, incluyendo análisis estático, fuzzing y auditoría de código asistida por IA, para que un verificador remoto pueda confirmar que el software ejecutado cumple propiedades de seguridad específicas.