Yapay zeka yönlendirmeli analiz güvenli önyüklemeyi tek komut atlamasıyla aştı

eShard araştırmacıları, yaygın kullanılan ARM tabanlı bir yönlendirici yongasının güvenli önyükleme (secure boot) mekanizmasındaki güvenlik açığını yapay zeka destekli hata analizi yöntemiyle tespit etti. Donanım dokümantasyonu olmadan başlatılan çalışmada Claude Opus 4.8 modeli, firmanın esFirmware ve Epoch adlı emülasyon ve zaman yolculuğu izleme araçlarını doğrudan yönetti. Araştırmacılar, RSA-2048 imzası bozulmuş ikinci aşama önyükleyiciyi (BL2) sisteme vererek yonganın reddetme kararını kabul kararına çevirecek hata enjeksiyonu vektörlerini aradı.

Süreç, yaklaşık 25 milyon komutluk önyükleme kaydının çıkarılması ve doğrulamadan ret kararına giden yolun geriye doğru izlenmesiyle ilerledi. Yapay zeka ajanı, tüm önyükleme sürecini baştan çalıştırmak yerine doğrulama rutininin başladığı andan bir durum anlık görüntüsü (snapshot) aldı. Bu yöntem, her hata denemesindeki komut sayısını 25 milyondan 43 bine indirerek analiz süresini yaklaşık 600 kat kısalttı. esFirmware üzerinden yürütülen hata enjeksiyonu taramasında komut atlama (instruction skip) modeli uygulandı.

Sabit zamanlı karşılaştırmalar ve yedekli 32-bit karar değerleri gibi klasik donanım önlemlerine rağmen, kod düzenindeki kritik bir zafiyet bulundu. Reddetme dalını kontrol eden yalnızca 2 baytlık tek bir koşullu dallanma komutunun atlanması, kod akışının doğrudan kabul yoluna düşmesini sağladı ve sahte yazılımın doğrulanmasına yol açtı. Doğrulama sonucunu kullanan üst fonksiyonun başka bir kontrol yapmadığı iki ayrı izleme kaydıyla kanıtlandı.