SubLock: Reemplazo de Sub-Circuito basado en llaves dependientes de entrada para el bloqueo lógico basado en llaves para una robusta protección de IP

La piratería de Propiedad Intelectual (IP), la sobreconstrucción, la ingeniería inversa y los troyanos de hardware son preocupaciones de seguridad serias durante el desarrollo de circuitos integrados (IC). El bloqueo lógico ha demostrado ser una sólida defensa para mitigar estas amenazas. Las técnicas de bloqueo lógico existentes son vulnerables a ataques basados en SAT. Sin embargo, se han informado varios métodos de bloqueo lógico resistentes a SAT; requieren un overhead significativo. Este documento propone un nuevo bloqueo lógico basado en llaves dependientes de entrada (IDKLL) que previene efectivamente los ataques basados en SAT con bajo overhead. Primero introducimos una idea novedosa de IDKLL, donde un diseño se bloquea de manera que funcione correctamente para todos los patrones de entrada solo cuando se aplican sus correspondientes secuencias de llaves válidas. En contraste con el bloqueo lógico convencional, el método IDKLL propuesto utiliza múltiples secuencias de llaves (en lugar de una única secuencia de llaves) como una llave válida que proporciona funcionalidad correcta para todas las entradas. Además, proponemos un enfoque de IDKLL basado en reemplazo de sub-circuito llamado SubLock que bloquea el diseño reemplazando la sub-circuitería original con el circuito bloqueado basado en IDKLL correspondiente para prevenir el ataque SAT con bajo overhead. La evaluación experimental en los benchmarks ISCAS muestra que el SubLock propuesto mitiga el ataque SAT con alta seguridad y un overhead reducido en comparación con los métodos existentes bien conocidos.