Un solo salto defectuoso anula la verificación de arranque seguro de un router ARM
From 25M instructions to one faulty skip: fault analysis of a secure boot
Un agente de IA (Claude Opus 4.8) analizó la boot ROM de un SoC ARM para routers y demostró que, tras registrar 25 millones de instrucciones, basta con omitir una instrucción de 2 bytes para que una imagen BL2 manipulada pase la verificación RSA-PSS. La campaña de inyección de fallos, ejecutada sobre instantáneas que reducen cada prueba a unas 43.000 instrucciones, encontró exactamente un vector: el salto condicional que separa el rechazo de la aceptación. Las contramedidas habituales no lo impidieron.
Las contramedidas hicieron su trabajo en casi todas partes: ningún salto dentro de la comparación de tiempo constante produjo una aceptación, y las codificaciones redundantes descartan el trivial «convertir un 0 en un 1». Pero el código está dispuesto de tal forma que el almacenamiento de aceptación queda justo después del salto condicional. Omite el salto y la ejecución cae directamente en la ruta de aceptación.