3780 ورقة بحثية
تقدم هذه الورقة PixelConfig، وهو إطار عمل للهندسة العكسية لتكوينات "ميتا بيكسل" (Meta Pixel)، والذي يكشف أن الإعدادات الافتراضية تدفع نحو اعتماد واسع النطاق لميزات تتبع النشاط والهوية القادرة على التقاط بيانات صحية حساسة، في حين توفر آليات تقييد التتبع الحالية حماية عملية محدودة.
توضح هذه الورقة أن الثغرات البرمجية الثنائية في وحدات WebAssembly، مثل تجاوز سعة المخزن المؤقت وأخطاء استخدام الذاكرة بعد تحريرها، يمكن أن تقوض أمن تطبيقات الويب من خلال تمكين هجمات مثل حقن SQL وتدفقات تسريب البيانات عبر الأصول المتقاطعة (XS-Leaks)، مع تقديم أفضل الممارسات أيضاً للتخفيف من هذه المخاطر.
تقدم هذه الورقة CyberThreat-Eval، وهو معيار مرجعي مُصنف من قبل خبراء ومستمد من سير عمل استخبارات التهديدات السيبرانية في العالم الحقيقي، والذي يعالج أوجه القصور في التقييمات الحالية من خلال تقييم النماذج اللغوية الكبيرة عبر مسار العمل الكامل من الفرز إلى إعداد التقارير باستخدام مقاييس تركز على المحلل، مما يكشف عن فجوات كبيرة في قدرة النماذج الحالية على التعامل مع الرؤى الأمنية الدقيقة والقابلة للتنفيذ.
تُعد ShapeMark طريقةً قوية للحفاظ على التنوع في العلامات المائية لنماذج الانتشار، حيث تقوم بتشفير بتات العلامة المائية في أنماط ضوضاء مهيكلة بدلاً من القيم الفردية، وتستخدم تصميماً عشوائياً لمنع الأنماط الثابتة، مما يحقق أفضل النتائج في المتانة ضد السيناريوهات التي تتضمن فقدان البيانات مع الحفاظ على جودة توليد عالية.
تقدم هذه الورقة إطار عمل متخصصاً لإصلاح البرامج آلياً يعتمد على النماذج اللغوية الكبيرة (LLM)، مصمماً لتأمين الواجهات بين المقصورات في البرمجيات المقسمة تلقائياً من خلال دمج أداة فحص (fuzzer)، وتقنيات تحليل مدركة للمقصورات، ومكون للتحقق، وذلك لمعالجة أوجه القصور في أدوات الإصلاح العامة الحالية.
تقدم هذه الورقة إطار عمل الحوسبة الوظيفية الموزعة العشوائية (RDFC)، وهو نهج للاتصالات الدلالية يحقق الخصوصية التفاضلية المحلية ويقلل معدلات الإرسال بشكل كبير مقارنة بالطرق غير الفاقدة للمعلومات، حتى في السيناريوهات التي تفتقر إلى العشوائية المشتركة، وذلك من خلال الاستفادة من مقاييس التنسيق القوية وتوليد الدوال العشوائية.
تتحدى هذه الورقة الافتراض القائل بأن تحييد المحفزات المعروفة يقضي على الأبواب الخلفية من خلال إثبات أن "المحفزات البديلة" المتميزة إدراكياً يمكنها تفعيل اتجاهات الأبواب الخلفية الكامنة في فضاء السمات بشكل موثوق، وبالتالي تدعو إلى دفاعات تستهدف أنماط التمثيل الأساسية هذه بدلاً من محفزات مدخلات محددة.
تقدم الورقة البحثية CLIOPATRA، وهو هجوم مبتكر يثبت أن حمايات الخصوصية الاستدلالية الحالية في أنظمة استبصار النماذج اللغوية الكبيرة مثل نظام Clio من Anthropic غير كافية، حيث يمكن لمهاجم واقعي استخراج التاريخ الطبي الحساس للمستخدم بنجاح عن طريق حقن محادثات خبيثة، حتى مع حد أدنى من المعرفة المسبقة بالهدف.
تقدم هذه الورقة إطاراً عاماً لمخطط التوقيع SQIsign من خلال دمج هياكل المستويات في تحدي الأيزوجيني، مما يؤدي إلى تقابل ديورينج صريح جديد للمنحنيات الإهليلجية فائقة الشذوذ وحلول لمعادلات النظم المقيدة.
بافتراض صعوبة مسألة "التعلم مع الأخطاء" (LWE)، تثبت الورقة أنه لا توجد خوارزمية كمومية يمكنها أتمتة البحث عن البراهين بشكل ضعيف في نظام الإثبات القضاياي -Frege، مما يمثل أول اتصال مثبت بين الحوسبة الكمومية والقيود المفروضة على البحث الآلي عن البراهين القضاياية.