3726 ورقة بحثية
تقدم هذه الورقة سلسلة أدوات SAFT-GT، وهي حل قائم على النماذج يدمج تحليلات السلامة والأمن للأنظمة المعقدة ذاتية التكيف من خلال التوليد الآلي لأشجار الهجوم-الخطأ، والتي تم التحقق من صحتها بواسطة خبراء المجال وإصدارها كبرمجيات مفتوحة المصدر.
تقدم هذه الورقة "سلامة الضبط الدقيق" (FTI) كإطار أمني للتحقق من تطور النماذج الخاضعة للتحكم، وذلك باستخدام "براهين فرق النموذج الموجزة" (SMDPs) للمصادقة تشفيرياً على أن تحديثات الشبكة العصبية تلتزم بقيود هيكلية محددة — مثل حدود المعيار، أو الرتبة المنخفضة، أو التناثر — دون الكشف عن النموذج الكامل أو تكبد تكاليف تحقق تتناسب مع حجم النموذج.
تقدم هذه الورقة إطاراً للأمن الاقتصادي لوحدات منارات العشوائية القائمة على الدوال القابلة للتأخير زمنياً (VDF)، حيث تُنمذج الخصوم العقلانيين كوكلاء توقف أمثل لاستخلاص عتبات التأخير الضرورية التي تمنع الهجمات المربحة عبر تسريع الأجهزة واستغلال المكافآت، مما يثبت في النهاية أن العديد من المقترحات الحالية غير آمنة اقتصادياً وتقدم إرشادات لاختيار معايير قوية.
يُعد RegGuard إطار عمل موحداً يعزز حلول الـ "optimistic rollups" للتطبيقات المالية المنظمة من خلال دمج التحقق الدلالي، وفحوصات اتساق الحالة عبر الطبقات، والترتيب العادل القابل للتحقق تشفيرياً لمعالجة فجوات المشروعية والعدالة مع الحفاظ على إنتاجية عالية.
تقدم هذه الورقة أول تقييم واقعي لسلامة وكيل OpenClaw المنتشر على نطاق واسع، مقدمةً تصنيف CIK (القدرة، الهوية، المعرفة) لإثبات أن تسميم أي بُعد واحد منها يزيد بشكل جذري من معدلات نجاح الهجمات، وكاشفةً أن استراتيجيات الدفاع الحالية تظل غير كافية ضد الثغرات الهيكلية المتأصلة.
تقدم هذه الورقة أول تحليل تشفيري شامل لدالة ليجاندر العشوائية الزائفة (Legendre Pseudorandom Function) عبر حقول الامتداد، مبرهنةً أن المهاجمين السلبيين والنشطين يمكنهم استعادة المفتاح السري بكفاءة من خلال استغلال الدورات الهيكلية والتماثلات الضربيه، مما يثبت أن متغيرات المفتاح ذات الدرجة الأعلى ضرورية لتحقيق أمن أسي.
تقترح هذه الورقة إطار عمل مهيكل لهندسة الأوامر البرمجية يتألف من أربعة أبعاد جوهرية لتعزيز النزاهة والموثوقية والقابلية للتفسير في تسلسل التفكير (Chain-of-Thought) في النماذج اللغوية الكبيرة المحلية للمهام الحساسة أمنياً، مما يظهر مكاسب كبيرة في الأداء ونتائج قوية تم التحقق منها بشرياً في كشف هجمات حجب الخدمة الموزعة (DDoS) دون الحاجة إلى إعادة تدريب مكلفة للنماذج.
تؤكد هذه الورقة متانة أس (Burau-Lyapunov exponent) كعامل تمييز لأنماط تصعيد الامتيازات من خلال التطبيق الناجح لنفس خط المعالجة عديم المعلمات المستخدم على رسوم بيانية اصطناعية لإدارة الهوية والوصول (IAM) في السحابة للتنبؤ بانفجارات المجال المغناطيسي لغلاف الشمس، مما يثبت فعاليته كإحصائية عالمية لمجموعة ضفائر زمنية عبر مجالات غير مترابطة.
تقدم هذه الورقة أول هجوم باب خلفي على التدريب اللاحق اللامركزي للنماذج اللغوية الكبيرة باستخدام التوازي في خط الأنابيب، مما يثبت أن مشاركاً خبيثاً يتحكم في مرحلة وسيطة يمكنه بنجاح حقن محفز يقلل بشكل جذري من مواءمة النموذج ويظل فعالاً حتى بعد تدريب مواءمة السلامة.
تقترح هذه الورقة إطار عمل لتصنيف عائلات البرمجيات الخبيثة بنموذج "صفر تسمية" (zero-label) يستفيد من تجميع هرمي مرجح لنماذج لغوية كبيرة مدربة مسبقاً لدمج التنبؤات على مستوى القرار، مما يعزز المتانة والقابلية للتوسع في سيناريوهات العالم المفتوح دون الاعتماد على مجموعات بيانات مصنفة أو إعادة تدريب النماذج.