3659 ورقة بحثية
تدقق هذه الورقة ١١٧ مشروعاً من مشاريع البرمجيات البحثية مفتوحة المصدر عبر أسطح متعددة للبيانات الوصفية القابلة للقراءة آلياً، وتجد أن ٨٣.٩٪ منها تظهر تعارضاً واحداً على الأقل في الحقول الأساسية، مدفوعاً بشكل أساسي بالتناقضات بين أوصاف البرمجيات وسجلات النشر المرتبطة بها.
تقدم هذه الورقة البحثية RuntimeGuard-AI، وهو نموذج بحثي أولي يضمن أدلة تدقيق ذكاء اصطناعي متينة وقابلة للتحقق من خلال ربط قرارات السياسة بإيصالات موقعة عند حدود تزامن صريحة، مما يقدم مقايضة مدروسة بين الأداء المخزن مؤقتًا ومنخفض التأخير وبين التسجيل المتزامن عالي النزاهة بدلاً من تقديم حل غير متزامن "مجاني".
تقدم هذه الورقة Fair-ASR، وهو بروتوكول تقييم مدرك للميزانية يكشف عن تحولات كبيرة في التصنيف لهجمات كسر الحماية (jailbreak) في الصندوق الأسود تحت قيود استدعاء الهدف المشتركة، وتقترح ReCode، وهو هجوم تركيبي عالي الكفاءة يحقق نسبة نجاح 85% على GPT-5 مع استخدام أدنى قدر من الموارد.
تحل هذه الورقة حدسية أوليفيرا من خلال إثبات أن مسيرة كاك على تحقق الاختلاط الزائف للاختبارات منخفضة التعقيد في خطوة، مما يبرهن على أن المسارات القصيرة لا يمكن تمييزها عن مقياس هير بواسطة كثيرات الحدود من الدرجة- ويؤكد فعالية تحويل جونسون-ليندستروس السريع.
تُعدُّ CryptDough محرك تحليلات موحداً يُمكِّن أطرافاً متعددة غير واثقة من تنفيذ مسارات تحليل بيانات متنوعة بشكل مشترك على مدخلات خاصة تحت نماذج تهديد مختلفة، محققاً أداءً فائقاً ونمطية عالية من خلال تصميم هرمي ومتجهات افتراضية تجرد تعقيدات الاتصال والتوازي.
تقدم هذه الورقة TENET، وهي أداة تدقيق متخصصة تكشف عن ثغرات أمنية واسعة النطاق في تطبيقات تليجرام المصغرة (Telegram Mini Apps) — مثل تخزين بيانات الاعتماد الحساسة بنصوص مجردة بما في ذلك تلك الموجودة في محفظة تليجرام الرسمية (Telegram's official Wallet) — وتوضح كيف أدت هذه العيوب إلى قيام المنصة بتنفيذ واجهات برمجة تطبيقات جديدة للتخزين الآمن عقب الإفصاح المسؤول.
تقدم هذه الورقة HarnessRisk، وهو معيار شامل موجه نحو دورة الحياة يضم 128 حالة معزولة (sandboxed) تقيم سلامة حواجز الوكلاء (agent harness safety) عبر ست مراحل تشغيلية، مما يكشف عن ثغرات كبيرة في التكوين ومحدودية آليات كشف المخاطر الحالية عبر مختلف النماذج والحواجز.
تُثبت هذه الورقة أول هجمات غير مشروطة على اتفاق المفتاح الكمي في نموذج أوراكل العشوائي الكمي (QROM) ضمن إعدادات مقيدة محددة تتضمن استعلامات واتصالات كلاسيكية، مما يثبت استحالة التشفير بالمفتاح العام الكمي غير المكتمل تماماً للرسائل الكلاسيكية تحت هذه الظروف.
تقدم هذه الورقة "Porting Benchmark"، وهي مجموعة بيانات وإطار تقييم شامل يكشف عن فجوات كبيرة في الأداء وتحديات في التعميم في أدوات نقل الرقع الأمنية المؤتمتة الحالية، لا سيما بالنسبة للرقع المعقدة والتكامل في العالم الحقيقي، مع تحديد أوضاع الفشل الرئيسية لتوجيه تطوير الأدوات في المستقبل.
إنّ Spectrum هو إطار عمل يمنع تباينات عملاء الإجماع في إيثيريوم من خلال ميكنة مواصفات الإجماع لتحديد شروط الصلاحية صراحةً، وقياس تغطية الفرضيات لتحديد السيناريوهات غير المختبرة، وتوليد مدخلات مستهدفة نجحت في كشف 27 حالة تباين بين العملاء.