🤖 AI

Formal Policy Enforcement for Real-World Agentic Systems

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

Nils Palumbo, Sarthak Choudhary, Jihye Choi, Guy Amir, Prasad Chalasani, Somesh Jha2026-05-12
💻 computer science

A UEFI System with SPDM to Protect Against Unauthorized Device Connections

تقترح هذه الورقة وتقيم نظام UEFI مفتوح المصدر يستخدم نموذج بروتوكول البيانات والأمن (SPDM) للمصادقة على أجهزة PCIe وUSB، مما يمنع بنجاح اتصالات الأجهزة الطرفية غير المصرح بها مع عبء إضافي مقبول عند بدء التشغيل يبلغ حوالي 13% في التعليمات البرمجية و8% في دورات وحدة المعالجة المركزية.

Ágatha de Freitas, Marcos A. Simplicio Jr, Bruno C. Albertini, Renan C. A. Alves2026-05-12
💻 computer science

Language Models Can Autonomously Hack and Self-Replicate

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

Alena Air, Reworr, Nikolaj Kotov, Dmitrii Volkov, John Steidley, Jeffrey Ladish2026-05-12
💻 computer science

Benchmarking Large Language Models for IoC Recovery under Adversarial Code Obfuscation and Encryption

تقدم هذه الورقة معياراً ومنهجيةً ونظاماً من مجموعة بيانات تضم 336 برنامج جافا سكريبت (JavaScript) مُعمّاة ومُشفرة لتقييم قدرة النماذج اللغوية الكبيرة على استعادة مؤشرات الاختراق، مما يكشف أنه بينما تتعامل هذه النماذج بفعالية مع التحويلات خفيفة الوزن مثل إعادة تسمية المتغيرات وتشفير Base64، فإن أداءها في الكشف يتدهور بشدة أمام أساليب التستر التشفيري مثل XOR وAES-256.

Jaime Morales, Sergio Pastrana, Juan Tapiador2026-05-12
💻 computer science

Aquaman: A Transparent Proxy Architecture for Quantum Resilient Key Establishment

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

Tushin Mallick, Ashish Kundu, Ramana Kompella2026-05-12
💻 computer science

Game-Theoretic Analysis of Transaction Selection in DAG-Based Distributed Ledgers

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

Sebastian Müller, Alexandre Reiffers-Masson2026-05-12
💻 computer science

From Conceptual Scaffold to Prototype: A Standardized Zonal Architecture for Wi-Fi Security Training

تتناول هذه الورقة نقص بيئات ميادين السيبرانية (Cyber Range) المخصصة للتدريب على أمن الشبكات اللاسلكية (Wi-Fi) من خلال اقتراح بنية مناطقية معيارية ونمطية ونموذج أولي مفتوح المصدر مصمم خصيصاً لتجارب أمن معايير IEEE 802.11.

Vyron Kampourakis, Efstratios Chatzoglou, Vasileios Gkioulos, Sokratis Katsikas2026-05-12
💻 computer science

Spying Across Chiplets: Side-Channel Attacks in 2.5/3D Integrated Systems

توضح هذه الورقة البحثية إمكانية تنفيذ هجمات القنوات الجانبية عبر الرقائق الصغيرة (chiplets) في الأنظمة المتكاملة ثنائية الأبعاد/ثلاثية الأبعاد (2.5D/3D) من خلال إعادة توظيف الواجهات الموجهة للاتصال، مثل الهوائيات أو عناصر تحديد الهوية بموجات الراديو (RFID)، لالتقاط الإشارات المرتبطة بنشاط الرقائق الصغيرة الضحية المجاورة.

Giorgio Di Natale, Christelle Rabache, Pierre-Louis Hellier, Florence Podevin, Sylvain Bourdel, Romain Siragusa, Paolo M (…)2026-05-12
🔢 mathematics

Secure Integrated Sensing and Communication: Information Theory Offers Insights

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

Truman Welling, Onur Günlü, Aylin Yener2026-05-12