Скритата схема в процесора може да остане незабелязана в продължение на години, затова специалистите от Университета на Флорида създадоха AI-инструмента VeriChat, който предоставя отговори на въпросите относно сигурността на чиповете и стартира проверки на заредения проект.

Разработчиците на чипове често вграждат в процесорите готови блокове от външни доставчици. Недобросъвестен подизпълнител може да скрие в работната схема хардуерен бекдор, който се активира само след рядка последователност от входни данни и остава незабелязан при обичайните проверки.

Търсенето на такава задна врата изисква не само анализ на кода, но и точни технически заключения. Обикновените чатботове, ако се използват за помощ при търсенето, могат уверено да предоставят невярна информация, затова VeriChat първо търси потвърждения в база от 28 221 научни статии и в отворени източници. След това системата отговаря само въз основа на намерените данни, а при липса на информация директно съобщава, че не може да потвърди заключението.

В тестовата демонстрация екипът е вградил бекдор (задна врата) в AES S-Box – малък блок от криптиращо оборудване. Схемата очакваше байтовете 0xDE, 0xAD и 0xBE, след което предаваше тайния ключ бит по бит чрез индикатора за състояние. Вероятността за случайно задействане бе около шест случая на сто милиона такта.

VeriChat откри излишните елементи в паметта, възпроизведе изтичането на ключа за осем такта и математически доказа, че схемата е способна да разкрива поверителна информация. Потребителят получи резултата чрез обикновен диалог, без да подозира за скрития бекдор.

При проверка на отговорите VeriChat показа точност от 87,73% и отхвърли заявките с измислени технологии в 92% от случаите. Демонстрацията обаче беше проведена от същия екип, който създаде и внедри бекдора, поради което резултатът потвърждава ефективността на подхода само в предварително известен сценарий. Приблизително всеки осми извод оставаше грешен, а способността да се откриват неизвестни хардуерни атаки все още предстои да бъде проверена.