💻 computer science

Toward Securing AI Agents Like Operating Systems

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

Lukas Pirch, Micha Horlboge, Patrick Großmann, Syeda Mahnur Asif, Klim Kireev, Thorsten Holz, Konrad Rieck2026-05-15✓ Author reviewed
💻 computer science

WARD: Adversarially Robust Defense of Web Agents Against Prompt Injections

تقدم الورقة البحثية WARD، وهو نموذج حماية عملي وفعال لوكلاء الويب يستفيد من مجموعة بيانات واسعة النطاق وإطار تدريب تنافسي تكيفي (A3T) لتحقيق دفاع قوي ومنخفض زمن الاستجابة ضد هجمات حقن الأوامر البرمجية مع الحفاظ على قدرة عالية على التعميم والحد الأدنى من الإيجابيات الكاذبة.

Tri Cao, Yulin Chen, Hieu Cao, Yibo Li, Khoi Le, Thong Nguyen, Yuexin Li, Yufei He, Yue Liu, Shuicheng Yan, Bryan Hooi2026-05-15
💻 computer science

PickleFuzzer: A Case Study in Fuzzing for Discrepancies Between Python Pickle Implementations

تقدم هذه الورقة PickleFuzzer، وهو فاحص تفاضلي قائم على القواعد يحدد 14 تباينًا حرجًا عبر عمليات تنفيذ pickle في لغة بايثون، بما في ذلك الثغرات التي تسمح للمهاجمين بتجاوز أدوات الفحص الأمني على منصات مثل Hugging Face.

Justin Applegate, Andreas Kellas2026-05-15
💻 computer science

Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries

تُعد Veritas إطار عمل متعدد الوكلاء، قائم على أسس دلالية، يجمع بين التحليل الساكن لتمثيل LLVM IR المرفوع، والاستدلال عبر نماذج لغوية كبيرة ثنائية الرؤية، والتحقق أثناء وقت التشغيل، لتحقيق كشف عالي الاستدعاء ومنخفض الإيجابيات الكاذبة لثغرات فساد الذاكرة في الملفات الثنائية المجردة، وقد نجحت في تحديد ثغرة أمنية غير معروفة سابقاً لدى شركة Apple.

Xinran Zheng, Alfredo Pesoli, Marco Valleri, Suman Jana, Lorenzo Cavallaro2026-05-15
💬 NLP

Talk is (Not) Cheap: A Taxonomy and Benchmark Coverage Audit for LLM Attacks

تقدم هذه الورقة تصنيفاً شاملاً لـ 4×6 (هدف × تقنية) وإطار عمل لتدقيق تغطية المعايك المرجعية، مستخلصاً من 932 دراسة أمنية، والذي يكشف أن المعايك المرجعية الحالية لهجمات النماذج اللغوية الكبيرة تغطي في مجموعها 25% كحد أقصى من سطح التهديد وتعاني من فجوات تقييم كبيرة وتجزئة في التسميات.

Karthik Raghu Iyer, Yazdan Jamshidi, Nicholas Bray, Alexey A. Shvets2026-05-15
💬 NLP

MetaBackdoor: Exploiting Positional Encoding as a Backdoor Attack Surface in LLMs

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

Rui Wen, Mark Russinovich, Andrew Paverd, Jun Sakuma, Ahmed Salem2026-05-15
💻 computer science

Accurate and Scalable Detection and Investigation of Cyber Persistence Threats

تقدم هذه الورقة نظام كاشف الاستمرارية السيبرانية (CPD)، وهو نظام مبتكر يستفيد من تحليلات المصدر مع التبعية الزائفة والحواف الموجهة من قبل الخبراء للربط السببي بين مرحلتي إعداد التنفيذ والتنفيذ، مما يحقق كشفًا دقيقًا وقابلًا للتوسع للتهديدات المتقدمة المستمرة مع تقليل الإيجابيات الكاذبة بنسبة 93% مقارنة بالطرق المتطورة.

Qi Liu, Muhammad Shoaib, Mati Ur Rehman, Kaibin Bao, Veit Hagenmeyer, Wajih Ul Hassan2026-05-14
🤖 machine learning

Convergent Differential Privacy Analysis for General Federated Learning

تتناول هذه الورقة أوجه القصور في حدود الخصوصية الفضفاضة والمتباعدة الموجودة حالياً في التعلم الاتحادي مع الخصوصية التفاضلية من خلال توظيف تحليل ff-DP وتقنيات الاستيفاء المزاح لإثبات أن خوارزمية Noisy-FedAvg تحقق حداً تقاربياً وثيقاً للخصوصية، بينما تحافظ خوارزمية Noisy-FedProx على حد أدنى ثابت ومستقر، مما يؤسس قاعدة نظرية متينة لموثوقية تدريب التعلم الاتحادي ذي الخصوصية التفاضلية طويل الأمد.

Yan Sun, Qixin Zhang, Li Shen, Dacheng Tao2026-05-14
🤖 machine learning

AdeptHEQ-FL: Adaptive Homomorphic Encryption for Federated Learning of Hybrid Classical-Quantum Models with Dynamic Layer Sparing

يُعد AdeptHEQ-FL إطار عمل موحداً هجيناً للتعلم الاتحادي الكلاسيكي-الكمي يدمج التشفير المتماثل التكيفي، وتوفير الطبقات الديناميكي، والتجميع الموزون بالدقة لتعزيز أداء النموذج في آن واحد، وضمان ضمانات الخصوصية الرسمية، وتقليل عبء الاتصالات في البيئات اللامركزية غير المتجانسة (non-IID).

Md Abrar Jahin, Taufikur Rahman Fuad, M. F. Mridha, Nafiz Fahad, Md. Jakir Hossen2026-05-14
🤖 machine learning

Exact Verification of Graph Neural Networks with Incremental Constraint Solving

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

Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska2026-05-14