گزارش‌ها و تحلیل‌ها
تحول در ممیزی امنیتی: بهره‌گیری از AI برای تحلیل استاتیک و مدل‌سازی رسمی
این گزارش نحوه استفاده از AI برای ساخت ابزارهای تحلیل استاتیک و مدل‌سازی رسمی در ممیزی یک zkVM را بررسی…
AI-driven Security
اکسپلویت‌ها
کشف آسیب‌پذیری گسترده در رمزگشای‌های نرم‌افزاری با کمک هوش مصنوعی
پژوهشگران با کمک مدل‌های پیشرفته AI، آسیب‌پذیری HEIF Heist را در کتابخانه‌های پردازش تصویر کشف کردند که منجر به RCE…