Siber güvenlik alanında önemli bir gelişme yaşandı. Araştırmacılar, hem girdi verilerini hem de işlev mantığını korumayı amaçlayan gelişmiş şifreleme sistemlerinde kritik bir güvenlik açığı tespit etti.
Gate-hiding garbled circuits olarak bilinen bu sistemler, yarı-özel işlev değerlendirme protokollerinin pratik uygulamalarından biri. Bu teknoloji, kapı işlevlerini gizlerken devre topolojisini görünür bırakıyor. Ancak mevcut güvenlik tanımları, devre topolojisi üzerinden gerçekleşebilecek bilgi sızıntılarını kasıtlı olarak dışarıda bırakıyor.
Araştırma ekibi, gerçekçi hesaplama yeteneklerini yansıtan iki farklı saldırı modeli altında gate-hiding sistemlerinin ampirik güvenliğini analiz etti. Geliştirdikleri SAT tabanlı işlev-kurtarma saldırısı, yalnızca devrenin açık topolojisini kullanarak gizli kapı operasyonlarını yeniden oluşturabiliyor.
Daha büyük ve karmaşık devreler üzerinde başarılı sonuçlar elde etmek için araştırmacılar, artımlı SAT çözme çerçevesini geliştirdi. Bu sistem, topoloji koruyucu basitleştirme teoremleriyle birleştirildiğinde SAT örnek boyutunu önemli ölçüde azaltıyor.
Bu keşif, mevcut güvenlik paradigmalarının yeniden değerlendirilmesi gerektiğini gösteriyor ve kriptografik hesaplama alanında yeni güvenlik önlemlerinin geliştirilmesi açısından kritik önem taşıyor.