🤖 AI

CLIP-Inspector: Model-Level Backdoor Detection for Prompt-Tuned CLIP via OOD Trigger Inversion

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

Akshit Jindal, Saket Anand, Chetan Arora, Vikram Goyal2026-04-13
💻 computer science

A Deductive System for Contract Satisfaction Proofs

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

Arthur Correnson, Haoyi Zeng, Jana Hofmann2026-04-13
🔢 mathematics

Cross-Paradigm Models of Restricted Syndrome Decoding with Application to CROSS

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

Étienne Burle, Aleksei Udovenko2026-04-13
🤖 AI

BadSkill: Backdoor Attacks on Agent Skills via Model-in-Skill Poisoning

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

Guiyao Tie, Jiawen Shi, Pan Zhou, Lichao Sun2026-04-13
🔢 mathematics

On the Direct Construction of MDS and Near-MDS Matrices

تقدم هذه الورقة طرق بناء مباشرة لكل من مصفوفات "قريبة من الحد الأقصى للتمييز" (Near-MDS) العودية وغير العودية، بالإضافة إلى مصفوفات "الحد الأقصى للتمييز" (MDS) غير العودية ومصفوفات "الحد الأقص️ للتمييز/القريبة من الحد الأقصى للتمييز" (MDS/NMDS) التبادلية المشتقة من مصفوفات "فانديرموند" المعممة، مع إثبات نتائج تأسيسية متعلقة بشفرات "الحد الأقصى للتمييز القريب" (NMDS).

Kishan Chand Gupta, Sumit Kumar Pandey, Susanta Samanta2026-04-10
🤖 machine learning

Language Guided Adversarial Purification

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

Himanshu Singh, A V Subramanyam2026-04-10
💻 computer science

One Shot Dominance: Knowledge Poisoning Attack on Retrieval-Augmented Generation Systems

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

Zhiyuan Chang, Mingyang Li, Xiaojun Jia, Junjie Wang, Yuekai Huang, Ziyou Jiang, Yang Liu, Qing Wang2026-04-10
💻 computer science

How Do Data Owners Say No? A Case Study of Data Consent Mechanisms in Web-Scraped Vision-Language AI Training Datasets

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

Chung Peng Lee, Rachel Hong, Harry H. Jiang, Aster Plotnik, William Agnew, Jamie Morgenstern2026-04-10
📊 statistics

Differentially Private Modeling of Disease Transmission within Human Contact Networks

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

Shlomi Hod, Debanuj Nayak, Jason R. Gantenberg, Iden Kalemaj, Thomas A. Trikalinos, Adam Smith2026-04-10
💻 computer science

IPEK: Intelligent Priority-Aware Event-Based Trust with Asymmetric Knowledge for Resilient Vehicular Ad-Hoc Networks

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

İpek Abasıkeleş Turgut2026-04-10