💻 computer science

Computer Science Conferences Should Require Nonrepudiable Experimental Results

تجادل هذه الورقة الموقفية بضرورة اعتماد مؤتمرات علوم الحاسوب بروتوكولات غير قابلة للتلاعب وغير قابلة للإنكار لربط النتائج التجريبية المُبلغ عنها بالحسابات الفعلية تشفيراً، وذلك لمعالجة فجوات التحقق الحالية من خلال نموذج تهديد رسمي وتنفيذ مرجعي يسمى K-Veritas.

Mamadou K. Keita, Christopher Homan2026-05-12
💻 computer science

WATSON: Leveraging Data Watchpoints for Shadow Stack Protection on Embedded Systems

تقدم هذه الورقة WATSON، وهو آلية حماية لمكدس الظل (shadow stack) فعالة وكفؤة للأنظمة المدمجة تستفيد من نقاط مراقبة البيانات (data watchpoints) القياسية في الأجهزة لفرض حماية الكتابة وسلامة تدفق التحكم دون الاعتماد على توسعات أمنية متخصصة، محققةً بذلك عبئاً منخفضاً على الأداء مع منع هجمات اختطاف تدفق التحكم بفعالية.

Xi Tan, Sagar Mohan, Ziming Zhao2026-05-12
💻 computer science

When LLMs Team Up: A Coordinated Attack Framework for Automated Cyber Intrusions

تقدم هذه الورقة CAESAR، وهو إطار عمل متعدد الوكلاء منسق يقوم بتفكيك سير عمل الاختراق الآلي إلى أدوار متخصصة مع ضوابط صارمة على المصدر والميزانية، مما يظهر معدلات نجاح محسنة وتقليلاً في التباين في مهام Capture The Flag (CTF) مقارنة بالنماذج المرجعية أحادية الوكيل.

Minfeng Qi, Tianqing Zhu, Zijie Xu, Congcong Zhu, Qin Wang, Wanlei Zhou2026-05-12
🤖 AI

Why Do Aligned LLMs Remain Jailbreakable: Refusal-Escape Directions, Operator-Level Sources, and Safety-Utility Trade-off

تتقصى هذه الورقة البحثية سبب بقاء النماذج اللغوية الكبيرة المتوافقة قابلة للاختراق عبر تقديم مفهوم "اتجاهات الرفض والهروب" (RED)، حيث تثبت أن هذه الثغرات تنبع من مصادر محددة على مستوى العمليات داخل بنية النموذج، وتوضح أن القضاء عليها يخلق مقايضة متأصلة بين السلامة والمنفعة.

Yu Chen, Yuanhao Liu, Qi Cao2026-05-12
🤖 machine learning

Enhancing Adversarial Robustness in Network Intrusion Detection: A Layer-wise Adaptive Regularization Approach

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

Hira Nasir, Eiman Javed, Balawal Shabir, Zunera Jalil, Ahmad Mohsin2026-05-12
💻 computer science

Toward Web 4.0: Bidirectional Trust between AI Agents and Blockchain

تقدم هذه الورقة عملية "تنظيم معرفي" (Systematization of Knowledge) حول نموذج الويب 4.0 الناشئ من خلال اقتراح إطار عمل للثقة ثنائي الاتجاه يحلل كيفية دعم البنية التحتية لتقنية البلوكشين لوكلاء الذكاء الاصطناعي المستقلين، وكيف يقوم الوكلاء بدورهم بتعزيز آليات البلوكشين، مما يؤدي في النهاية إلى تحديد الفجوات الحرجة في المعايير والأمن مع تقديم نموذج تفاعل رسمي وتصنيف لتوجيه الأبحاث المستقبلية.

Yunfeng Xia, Chao Li, Lei Li, Chenhao Zhang, Li Duan, Runhua Xu, Wei Wang2026-05-12
💻 computer science

Hardware-Accelerated Line-Rate Bitstream Screening for Secure FPGA Reconfiguration

تقدم هذه الورقة BLADEI، وهو إطار عمل مسرع عتادياً يتيح فحصاً لتدفق البيانات (bitstream) الخاص بـ FPGA بسرعة الخط (line-rate) ودون الحاجة لكود مصدري من أجل إعادة التشكيل الآمن، وذلك عبر التغلب على اختناقات المعالجة المسبقة للبرمجيات من خلال محرك تدفق مخصص على المنطق القابل للبرمجة.

Rye Stahle-Smith, Carter Antley, Jason D. Bakos, Rasha Karakchi2026-05-12
🤖 AI

Single-Configuration Attack Success Rate Is Not Enough: Jailbreak Evaluations Should Report Distributional Attack Success

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

Carsten Maple, Abhishek Kumar, Riya Tapwal2026-05-12
🤖 machine learning

Privacy-Preserving Distributed Learning in IoT Systems: A Unified Threat Model and Evaluation Framework

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

John Cartmell, Alexander Williams2026-05-12
🤖 AI

Position: AI Security Policy Should Target Systems, Not Models

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

Michael A. Riegler, Inga Strümke2026-05-12