💻 computer science

ARCANE: Cross-Campaign Attacker Re-identification via Passive Beacon Telemetry -- A Bayesian Network Framework for Longitudinal Cyber Attribution

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

Abraham Itzhak Weinberg2026-04-28
💻 computer science

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

تقدم هذه الورقة برهاناً تم التحقق منه آلياً باستخدام لغة Lean 4، يثبت وجود "حاجز بت واحد" (1-Bit Barrier) عالمي لعملية اختزال باريت المقنعة (masked Barrett reduction) في التشفير ما بعد الكمي، مما يثبت أن خرائط الأسلاك الداخلية الخاصة بها لها عدد صور عكسية لا يتجاوز اثنين، وبالتالي يضمن فقدان إنتروبيا دنيا لا يتعدى بتًا واحدًا، مما يتيح بناء تركيبات PINI في الحقول الأولية (Prime-Field PINI compositions) آمنة لبروتوكولات ML-KEM وML-DSA.

Ray Iskander, Khaled Kirah2026-04-28
💻 computer science

Profiling Resilient to Change in Probe Position

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

Elie Bursztein, Michael Gruber, Karel Král, Jean-Michel Picod, Matthias Probst, Georg Sigl2026-04-28
🤖 machine learning

Privacy Leakage via Output Label Space and Differentially Private Continual Learning

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

Marlon Tobaben, Talal Alrawajfeh, Marcus Klasson, Mikko Heikkilä, Arno Solin, Antti Honkela2026-04-27
🤖 AI

PoLO: Proof-of-Learning and Proof-of-Ownership at Once with Chained Watermarking

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

Haiyu Deng, Yanna Jiang, Guangsheng Yu, Qin Wang, Xu Wang, Baihe Ma, Wei Ni, Ren Ping Liu2026-04-27
💬 NLP

Intrinsic Fingerprint of LLMs: Continue Training is NOT All You Need to Steal A Model!

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

Do-hyeon Yoon, Minsoo Chun, Thomas Allen, Hans Müller, Min Wang, Rajesh Sharma2026-04-27
🤖 AI

AgentBound: Securing Execution Boundaries of AI Agents

تقدم هذه الورقة AgentBound، وهو أول إطار عمل للتحكم في الوصول لبروتوكول سياق النموذج (MCP) يجمع بين آلية سياسة تصريحية ومحرك إنفاذ غير اقتحامي لتأمين وكلاء الذكاء الاصطناعي ضد الوصول غير المقيد للأدوات مع الحفاظ على إنتاجية عالية وحمل إضافي ضئيل.

Christoph Bühler, Matteo Biagiola, Luca Di Grazia, Guido Salvaneschi2026-04-27
🤖 AI

AgentMark: Utility-Preserving Behavioral Watermarking for Agents

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

Kaibo Huang, Jin Tan, Yukun Wei, Wanling Li, Zipei Zhang, Hui Tian, Zhongliang Yang, Linna Zhou2026-04-27
💻 computer science

Legitimate Overrides in Decentralized Protocols

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

Oghenekaro Elem, Nimrod Talmon2026-04-27
🤖 machine learning

Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems

تقدم الورقة البحثية حلقات الوكلاء السياديين (SAL)، وهي بنية مستوية للتحكم تعزز سلامة الذكاء الاصطناعي من خلال فصل الاستنتاج عن التنفيذ عبر طبقة تحقق تتحقق من نوايا النموذج مقابل سياسات النظام والحالة قبل تنفيذها.

Jun He, Deying Yu2026-04-27