3659 ورقة بحثية
يُعد KVerus نظاماً يعتمد على الاسترجاع والقدرة على التكيف الذاتي، حيث يسد الفجوة الدلالية-البنيوية في التحقق الرسمي لإنشاء وصيانة البراهين بنجاح لقواعد بيانات لغة Rust البرمجية واسعة النطاق والمتطورة، متفوقاً بشكل ملحوظ على الأدوات الحالية في كل من اختبارات الملف الواحد واختبارات مستوى المستودع البرمجي.
تعمل هذه الورقة على تعزيز عدم قابلية العكس لطريقة حماية قالب الوجه PolyProtect من خلال تقديم خوارزمية اختيار مفتاح تعمل على تحسين معاملات متعدد الحدود لمقاومة هجمات العكس والموازنة بين المقايضة بين الأمان ودقة التعرف، مع معالجة مشكلات الأداء أيضاً من خلال تطبيع التضمين.
تقدم هذه الورقة PoVSmith، وهو نهج قائم على الوكيل يستفيد من النماذج اللغوية الكبيرة، وتحليل مسار الاستدعاء، والتغذية الراجعة للتنفيذ لتوليد اختبارات إثبات ثغرات عالية الجودة تلقائياً، حيث نجح في تحديد 96% من نقاط الدخول القابلة للوصول على مستوى التطبيق وإنتاج 55% من اختبارات الهجوم القابلة للتنفيذ للتبعيات البرمجية المعقدة.
تقدم هذه الورقة عميلًا لاختبار الاختراق بالذكاء الاصطناعي (AI red teaming agent) مبنيًا على حزمة أدوات Dreadnode مفتوحة المصدر، والذي يعمل على أتمتة إنشاء سير عمل أمني معقد عبر اللغة الطبيعية، مما يقلل الوقت المطلوب لفحص أنظمة الذكاء الاصطناعي الحرجة من أسابيع إلى ساعات مع توحيد اختبار النماذج التقليدية والنماذج التوليدية.
تقترح هذه الورقة إطار عمل هجين لحل مشكلات الـ SAT يستفيد من أجهزة أخذ عينات "إيسينج" ذات البتات الاحتمالية لتوجيه تعلم العبارات المدفوع بالصراع (CDCL) باستخدام افتراضات عالية الاتفاق، مما يحقق تخفيضات كبيرة في جهد البحث في معايير محددة لـ 3-SAT مع استخدام بوابات تعلم آلي لتحديد متى يكون هذا التوجيه مفيداً.
تقدم هذه الورقة سلسلة من الخوارزميات القائمة على شبكة التنسور للكشف عن الشذوذ، والتي تستفيد من ضغط بيانات "ترين التنسور" (Tensor Train) للحفاظ على هياكل البيانات الطبيعية مع إزالة الهياكل الشاذة، مما يثبت فعاليتها عبر مجموعات بيانات الأرقام والوجوه والأمن السيبراني.
تقدم الورقة البحثية ACTG-ARL، وهو إطار عمل مبتكر يجمع بين نهج توليد هرمي مشروط بالسمات وطريقة تدريب لاحق تعتمد على التعلم المعزز المرتكز لتحسين جودة التحكم دقيق التفاصيل في التوليد النصي ذي الخصوصية التفاضلية بشكل كبير.
يُعد GPIR نظام استرجاع معلومات خاص معزز بمعالجات الرسوميات يتغلب على اختناقات الذاكرة في المعالجة الدفعية متعددة العملاء من خلال نموذج تنفيذ هجين مدرك للمراحل وتخطيطات بيانات محسنة، محققاً إنتاجية أعلى بما يصل إلى 297.2 ضعفاً مقارنة بالتنفيذات الرائدة.
تقدم هذه الورقة نموذجاً هجيناً عشوائياً موحداً يصف رياضياً الترابطات بين آليات التشفير لما بعد الكوانتم، وقيود القابلية للجدولة في الوقت الفعلي، والاستقرار في الحلقة المغلقة في الأنظمة السيبرانية الفيزيائية للمحركات التوربينية المروحية ثنائية المحور المرتبطة بنظام التحكم الرقمي الإلكتروني في توجيه تدفق الهواء (FADEC)، موضحاً كيفية تأثير عدم يقين القناة وتوسع النص المشفر على فترات تجديد المفاتيح وحدود تأخير التحكم دون تقديم إرشادات تشغيلية للتداخل.
تقدم هذه الورقة "تسرب اللاحقة المعياري" (mPL) وإطار التحكم التكيفي الخاص به (AmPL) لمعالجة الثغرات الأمنية المتعلقة بالخصوصية في الخصوصية التفاضلية المعيارية في إعدادات الاستهلاك المشترك، حيث يمكن للأدلة المجمعة أن تكشف عن معلومات حساسة رغم وجود حمايات لكل سجل.