🤖 machine learning

Architecture Matters for Multi-Agent Security

تُظهر هذه الدراسة التجريبية أن بنيات الأنظمة متعددة الوكلاء — وتحديداً فيما يتعلق بأدوار الوكلاء، وطوبولوجيا الاتصال، والذاكرة — يمكن أن تزيد بشكل كبير من الثغرات الأمنية مقارنة بالأنظمة أحادية الوكيل، مما يخلق غالباً مقايضة معقدة بين أداء المهام ومقاومة الهجمات.

Ben Hagag, William L. Anderson, Christian Schroeder de Witt, Sarah Scheffler2026-04-28
⚛️ quantum physics

Efficient Quantum Fully Homomorphic Encryption

تقدم هذه الورقة إطاراً موحداً للتشفير المتماثل كلياً الكمي (QFHE) يحقق اختزالاً أسياً في متطلبات الموارد الكمية من خلال استخدام برنامج حسابي معياري (MAP) متخصص مصمم لفك تشفير مشكلة التعلم مع الأخطاء (LWE)، مدمج مع نموذج "الخرطوم في الحديقة" (garden-hose model) والحوسبة الكمية القائمة على القياس.

Fengxia Liu, Zixian Gong, Kun Tian, Yi Zhang, Zhiming Zheng, Maozhi Xu2026-04-28
💻 computer science

Towards System-Oriented Formal Verification of Local-First Access Control

تقدم هذه الورقة نهجاً من الأسفل إلى الأعلى للتحقق الرسمي من التحكم في الوصول في الأنظمة المحلية الأولوية (local-first) والمتسامحة مع الأخطاء البيزنطية، وذلك باستخدام إطار العمل Verus القائم على لغة Rust لتطوير دلالات وثوابت غير متغيرة (invariants) موثقة لنوع بيانات مكرر قائم على القدرة (capability-based).

Florian Jacob, Johanna Stuber, Hannes Hartenstein2026-04-28
💻 computer science

CyberCane: Neuro-Symbolic RAG for Privacy-Preserving Phishing Detection with Formal Ontology Reasoning

يُعد CyberCane إطار عمل عصبي-رمزي يجمع بين القواعد الرمزية الحتمية وبين التوليد المعزز بالاسترجاع (RAG) المحافظ على الخصوصية والاستدلال الأنطولوجي الرسمي لتوفير كشف عن التصيد الاحتيالي عالي الدقة، وقابل للتفسير، ومتوافق تنظيمياً، وقادر على تحديد الهجمات المتقدمة المولدة بواسطة الذكاء الاصطناعي.

Safayat Bin Hakim, Aniqa Afzal, Qi Zhao, Vigna Majmundar, Pawel Sloboda, Houbing Herbert Song2026-04-28
💻 computer science

The Vehicle May Be Sick: Denial of Diagnostic Services by Exploiting the CAN Transport Protocol

توضح هذه الورقة كيف يمكن استغلال الثغرات في بروتوكول النقل ISO 15765-2 لشن ثمانية سيناريوهات هجوم مبتكرة تتسبب في حجب خدمات التشخيص، مما قد يؤدي إلى تضليل الفنيين وتقويض سلامة المركبة عن طريق إخفاء الأعطال أو التلاعب ببيانات المستشعرات.

Seungjin Baek, Seonghoon Jeong, Huy Kang Kim2026-04-28
⚡ electrical engineering

An AI-Based Supervisory Measurement Integrity Validation Layer for Cyber-Resilient AC/DC Protection in Inverter-Based Microgrids

تقترح هذه الورقة طبقة إشرافية قائمة على الذكاء الاصطناعي باستخدام شبكة عصبية متكررة للتحقق من الاتساق الفيزيائي للقياسات الحالية، مما يمكّن مرحلات تفاضل تيار الخط في الشبكات الدقيقة القائمة على العواكس من التمييز بين الأعطال الحقيقية وهجمات حقن البيانات الزائفة دون الحاجة إلى مستشعرات إضافية أو معرفة بطوبولوجيا الشبكة.

Ahmad Mohammad Saber, Ahmed Saber Refae, Davor Svetinovic, Hatem Zeineldin, Amr Youssef, Ehab F. El-Saadany, Deepa Kundu (…)2026-04-28
💻 computer science

LLM-CEG: Extending the Classification Error Gauge Framework for Privacy Auditing of Large Language Models

تقدم هذه الورقة LLM-CEG، وهو إطار عمل ممتد يعمل على تكييف منهجية مقياس خطأ التصنيف (Classification Error Gauge) لتدقيق النماذج اللغوية الكبيرة من خلال الموازنة التكرارية بين مقاومة هجمات استنتاج العضوية وفائدة النموذج عبر الخصوصية التفاضلية، مما يثبت أن خوارزمية (DP-SGD) يمكن أن تقلل بشكل كبير من مخاطر الخصوصية مع العمل كمنظم ضمني لتحسين أداء النماذج خارج نطاق التوزيع.

Kato Mivule2026-04-28
💻 computer science

System-aware contextual digital twin for ICS anomaly diagnosis

تقترح هذه الورقة إطار عمل غير خاضع للإشراف ومعتمد على النظام لتشخيص الشذوذ في أنظمة التحكم الصناعية، يجمع بين الكشف عبر الإنترنت خفيف الوزن وبين توأم رقمي سياقي معزز بنموذج لغوي كبير لتوفير تحليل للسبب الجذري في الوقت الفعلي وقابل للتفسير دون الحاجة إلى معرفة مسبقة بطوبولوجيا النظام أو بيانات هجوم مصنفة.

Eungyu Woo, Yooshin Kim, Wonje Heo, Donghoon Shin2026-04-28
💻 computer science

Jailbreaking Frontier Foundation Models Through Intention Deception

تقدم هذه الورقة تقنية جديدة لكسر الحماية متعددة الجولات تستغل نموذج "الإكمال الآمن" للنماذج الرائدة من خلال خداعها بنوايا تبدو حميدة لتوليد مخرجات ضارة، مع تحديد ومعالجة فئة ثغرات مكتشفة حديثاً تسمى "كسر الحماية شبه الموازي" (para-jailbreaking).

Xinhe Wang, Katia Sycara, Yaqi Xie2026-04-28
💻 computer science

Evaluating Cryptographic API Misuse Detectors for Go

تقدم هذه الورقة أول دراسة شاملة لإساءة استخدام واجهة برمجة تطبيقات التشفير في لغة Go من خلال وضع تصنيف لـ 14 فئة من إساءة الاستخدام، وتقييم أربع أدوات كشف عبر 328 مشروعاً، وتحديد 7,473 ثغرة أمنية لتسليط الضوء على الفجوات الكبيرة في تغطية الكشف الحالية.

Vivi Andersson, Martin Monperrus2026-04-28