DOSCrack: Desofuscación utilizando ejecución simbólica guiada por oracle y agrupamiento de claves de seguridad binarias

El diseño para pruebas/depuración (DfT/D) introduce pruebas de cadenas de escaneo para aumentar la capacidad de prueba y la cobertura de fallos mediante la inserción de flip-flops de escaneo. Sin embargo, estas cadenas de escaneo también son conocidas por ser una responsabilidad para los primitivos de seguridad. En investigaciones anteriores, se introdujeron cadenas de escaneo ofuscadas dinámicamente (DOSC) para proteger las claves de bloqueo lógico de ataques basados en escaneo al obscurecer patrones y respuestas de prueba. En este documento, presentamos DOSCrack, un ataque guiado por oracle para desofuscar DOSC utilizando ejecución simbólica y agrupamiento binario, lo que reduce significativamente el espacio de semillas candidatas a una cantidad manejable. Nuestro motor de ejecución simbólica emplea simulación en modo de escaneo, así como solvers de satisfacibilidad módulo teorías (SMT) para reducir el posible espacio de semillas, mientras que el agrupamiento de claves de ofuscación nos permite descartar efectivamente un grupo de semillas que comparten similitudes. Un componente integral de nuestro enfoque es el uso de verificación de equivalencia secuencial (SEC), que ayuda a identificar patrones de simulación distintos para diferenciar entre posibles claves de ofuscación. Aplicamos experimentalmente nuestro marco DOSCrack en cuatro tamaños diferentes de benchmarks DOSC y comparamos su tiempo de ejecución y complejidad. Nuestra investigación aborda eficazmente vulnerabilidades críticas en metodologías de ofuscación de cadenas de escaneo, ofreciendo perspectivas sobre DfT/D y bloqueo lógico tanto para la investigación académica como para aplicaciones industriales. Nuestro marco enfatiza la necesidad de crear mecanismos de defensa robustos y adaptables contra ataques basados en escaneo.