📊 statistics

Learning to Detect Cyber Attacks: Neural Anomaly Detection for Cybersecurity with Theoretical Insights

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

Tian-Yi Zhou, Matthew Lau, Jizhou Chen, Wenke Lee, Xiaoming Huo2026-07-31
🤖 machine learning

CLIP-Guided Backdoor Defense through Entropy-Based Poisoned Dataset Separation

تقدم الورقة البحثية طريقة الدفاع الموجه بـ CLIP (أو CGD)، وهي طريقة فعالة وقوية تستفيد من نموذج CLIP المتاح للجمهور لتحديد البيانات المسمومة وتحييدها، مما يقلل بشكل فعال من معدلات نجاح الهجوم إلى أقل من 1% مع الحفاظ على دقة عالية للبيانات السليمة عبر مختلف مجموعات البيانات وأنواع الهجمات.

Binyan Xu, Fan Yang, Xilin Dai, Di Tang, Kehuan Zhang2026-07-31
💻 computer science

CIF: A Constrained Inversion Framework for Reliable Message Extraction in Diffusion-Based Generative Steganography

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

Yuqi Qian, Yun Cao, Meiyang Lv, Haocheng Fu2026-07-31
💻 computer science

FinVault: Benchmarking Financial Agent Safety in Execution-Grounded Environments

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

Zhi Yang, Runguo Li, Qiqi Qiang, Jiashun Wang, Fangqi Lou, Mengping Li, Dongpo Cheng, Rui Xu, Heng Lian, Shuo Zhang, Xia (…)2026-07-31
💻 computer science

On a necessary condition for the matching cryptosystem stability

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

Aleksey Bolotnikov, Anwar Irmatov2026-07-31
💻 computer science

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs

إن FAVA هو إطار عمل تفويض رسمي يضمن التنفيذ الآمن لوكلاء النماذج اللغوية الكبيرة (LLM) عن طريق ترجمة المهام المكتوبة باللغة الطبيعية إلى رسوم بيانية للأذونات مهيكلة، والتي يتم التحقق منها رياضياً مقابل سياسات الأمان باستخدام حلّال (SMT solver) لاعتراض الإجراءات غير المصرح بها قبل وقوعها.

Yifan Zhang, Xinkui Zhao, Sai Liu, Hengxuan Lou, Guanjie Cheng, Chang Liu2026-07-31
💻 computer science

Open Security Benchmark: Towards Autonomous Enterprise Cyber Defense

تقدم هذه الورقة معيار الأمن المفتوح (OSB)، وهو إطار عمل مبتكر مصمم لتقييم وبناء الثقة في وكلاء الذكاء الاصطناعي المستقلين للدفاع السيبراني في المؤسسات، وذلك من خلال توفير بيئة أمنية ثابتة وشاملة وقابلة للاستعلام مع إجابات نموذجية لسد الفجوة الحرجة في بيانات التقييم العامة والمتعددة الموردين.

Gal Engelberg, Michael Arenzon, Leon Goldberg2026-07-31
💻 computer science

RoguePrompt: Dual-Layer Encoding for Self-Reconstruction to Circumvent LLM Moderation

تقدم الورقة البحثية RoguePrompt، وهو مسار لكسر الحماية يعتمد على ترميز ثنائي الطبقات باستخدام شفرات Vigenère وROT13 المتداخلة مع تعليمات إعادة بناء باللغة الطبيعية، والذي نجح في تجاوز فلاتر الاعتدال في 93.93% من الحالات وحقق التنفيذ في 70.18% من أصل 313 مطالبة مرفوضة بشدة تحت نموذج تهديد الصندوق الأسود.

Benyamin Tafreshian, Prathamesh Dhake2026-07-31
💻 computer science

Low-Latency Bootstrapping for CKKS using Roots of Unity

تقدم هذه الورقة "جذور الوحدة المتناثرة" (SPRU)، وهي خوارزمية إعادة تشغيل (bootstrapping) مبتكرة لمخطط التشفير المتماثل CKKS، تدمج الحساب النمطي في جذور الوحدة المركبة لتقليل العمق الضربي بشكل كبير وتحقيق تحسن في زمن الاستجابة يصل إلى 5 أضعاف مقارنة بالطرق التقليدية.

Jean-Sebastien Coron, Robin Koestler2026-07-31
💻 computer science

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts

تقدم Granite منهجية تأسيسية نمطية تتحقق من كل من الصحة الوظيفية وعدم التسريب لمعالجات RTL من خلال إنشاء تكافؤ تتبع مع عقود تسريب ISA حتمية، مما يتيح تركيب براهين الأجهزة والبرمجيات لإقصاء المواصفات الوسيطة من قاعدة الحوسبة الموثوقة.

Stella Lau, Andres Erbsen, Adam Chlipala2026-07-31