3659 ورقة بحثية
تقدم هذه الورقة منهجية للكشف عن خوادم "NTP Pool" وتوصيفها التي تقوم بحصاد عناوين عملاء IPv6 النشطة لأغراض الاستطلاع والمسح، مما أدى إلى تحديد 22 خادماً خبيثاً وتغييرات لاحقة في السياسات من قبل الكيانات المعنية.
تقدم هذه الورقة البحثية SIREN، وهو إطار عمل مؤتمت للمهاجم والحكم (attacker-judge) يعمل على تكييف حلقة كسر الحماية PAIR للتلاعب بشكل منهجي بتصنيفات التوصية لنماذج اللغات الكبيرة المعززة بالويب عبر تحرير المحتوى المصدر المسترجع بشكل تكراري باستخدام تصنيف من تقنيات التسميم، محققاً معدلات نجاح عالية في نقل الكيانات المستهدفة إلى المرتبة الأولى مع ضبط متغيرات الاسترجاع.
تُثبت هذه الورقة أن إصلاح بروتوكول CoW لعام 2025، المتمثل في تحويل مكافآت الحلّال (solver) من سقف ثابت إلى نموذج مرتبط بالإيرادات، مقترناً برسوم قيمية (ad-valorem)، قد نجح في إعادة تخصيص قيمة التداول نحو الطلبات الأكبر وزيادة التركيز السوقي بين الحلّالين الغنيين بالمخزون دون المساس بجودة التنفيذ المتوسطة.
تُعد KaPilot إطار عمل متعدد الوكلاء يستفيد من النماذج اللغوية الكبيرة لتوليد مواصفات Kani وتطويرها بشكل تكراري تلقائياً للتحقق من سلامة الذاكرة في كود Rust غير الآمن، محققاً معدلات نجاح وجودة أعلى بكثير في المواصفات مقارنة بالأدوات الحالية مثل AutoSpec.
تقترح هذه الورقة سلسلة من النماذج القائمة على نظرية الألعاب والتحسين لمعالجة الطبيعة الديناميكية، وآليات الدفاع النشط المحدودة، وقيود التنفيذ العملي لتصلب أمن الدليل النشط (Active Directory) من خلال إدخال استراتيجيات لوضع مصائد الاختراق، ونشر الطعوم الديناميكية، وإعادة ترتيب أولويات المعالجة التكيفية التي تتضمن المسؤول في الحلقة.
تجادل هذه الورقة بأن أمن الوكيل هو مشكلة سياقية في جوهرها وليس مشكلة قائمة على المحتوى، وتقترح إطاراً شمولياً يتمثل في تفويض المصدر، ومواءمة المهام، ومواءمة الإجراءات، وعزل البيانات لمعالجة القيود الهيكلية للدفاعات والمعايير الحالية التي تركز على المحتوى.
بافتراض فرضيات نظرية عددية معقولة، تقدم هذه الورقة بروتوكول استرداد معلومات خاص بـ من الخوادم، يتطلب عدداً من الخوادم أقل أسياً من البناءات السابقة الأكثر تطوراً لنفس تعقيد الاتصال، وذلك من خلال بناء كثيرات حدود -decoding ذات كثافة دنيا ضمن إطار متجه المطابقة.
يُعد PoCEvolve إطار عمل لتطوير الأوامر البرمجية المعتمد على الوعي بالثغرات، والذي يقوم بتوليد نماذج استغلال لإثبات المفهوم مباشرة من التصحيحات الأمنية عبر تحسين الأوامر بشكل تكراري بناءً على سياق الثغرة المستنتج، مما يجعله يتفوق بشكل كبير على الأساليب الحالية في السيناريوهات التي لا تتوفر فيها تقارير مفصلة عن الثغرات.
يُعد HarnessLLM إطار عمل مؤتمتًا يستفيد من النماذج اللغوية الكبيرة لتوليد وتحسين أدوات التحقق من لغة Rust بشكل تكراري من مجموعات الاختبار الحالية، مما ينجح في اكتشاف أخطاء سلامة الذاكرة الواقعية بدقة وكفاءة أعلى بكثير من النهج السابقة.
تقترح هذه الورقة تنفيذاً للخصوصية التفاضلية عالية الاعتلاج يستوفي ثوابت التجميع الخطي الإلزامية (مثل إجماليات الحالة) بيقين شبه تام، مع استنباط ضمانات خصوصية جديدة ومعالجة تساؤلات نظرية تتعلق بالفضاء الصفري لمصفوفات الارتباط.