محققان در مطالعهای جدید، روشی نوآورانه به نام ESBMC-LLB برای شناسایی کدهای مخرب در برنامههای PLC (کنترلکنندههای منطقی برنامهپذیر) معرفی کردهاند. این ابزار با استفاده از روشهای «تأیید رسمی»، به دنبال شناسایی کدهای مشکوکی است که ممکن است برای دستکاری سنسورها یا اختلال در عملکرد تجهیزات صنعتی طراحی شده باشند. این دستاورد گام مهمی در تأمین امنیت سایبری زیرساختهای حساس با کمک هوش مصنوعی است. 🤖⚙️
منبع: arXiv NLP
