Sicherheitsanalyse von Logikverschleierung

Durch die Globalisierung des Designflusses von integrierten Schaltungen (IC) können unlautere Elemente in der Lieferkette ICs entwenden, überproduzieren und Hardware-Trojaner einfügen. EPIC verschleiert das Design, indem es zufällig zusätzliche Tore einfügt; nur ein korrekter Schlüssel sorgt dafür, dass das Design korrekte Ausgaben liefert. Wir zeigen, dass ein Angreifer die verschleierte Netlist entschlüsseln kann, in einer Zeit, die linear zur Anzahl der Schlüssel ist, indem er die Schlüsselwerte auf die Ausgabe sensibilisiert. Anschließend entwickeln wir Techniken, um diese Schwachstelle zu beheben und die Verschleierung wirklich exponentiell in der Anzahl der eingefügten Schlüssel zu gestalten.