3760 ورقة بحثية
تقترح هذه الورقة خوارزمية Byz-Clip21-SGD2M، وهي خوارزمية تعلم اتحادي مبتكرة توحد بين المتانة ضد الهجمات البيزنطية والخصوصية التفاضلية مع ضمانات تقارب ذات احتمالية عالية تحت الافتراضات القياسية، مما يلغي الحاجة إلى شروط غير واقعية مثل التدرجات المحدودة أو مجموعات البيانات المساعدة.
تقدم هذه الورقة ثلاثة نهج مرشحة لبروتوكول التحقق من المجموع أحادي المتغير فوق جذور الوحدة، بما في ذلك بروتوكول تقييم متعدد الحدود واختزالين للتقييم متعدد المتغيرات متوافقين مع Gemini، وكلها تدعم اختزالات اختيارية للجولات مع الحفاظ على زمن إثبات خطي.
تقدم هذه الورقة فئة جديدة من الأبواب الخلفية المعمارية التي تستغل الاستدلال بالدفعات (batched inference) لتمكين سرقة البيانات على نطاق واسع والتلاعب بالنماذج بين المستخدمين المتزامنين، وتقترح استراتيجية تخفيف قائمة على التحكم في تدفق المعلومات (Information Flow Control) نجحت في تحديد تسرب المعلومات غير المقصود في أكثر من 200 نموذج على Hugging Face.
تقترح الورقة البحثية إطار عمل DMFI، وهو إطار ثنائي الأنماط يعزز الكشف عن التهديدات الداخلية من خلال دمج تحليلات السجلات الدلالية والسلوكية عبر نماذج لغوية مضبوطة بشكل مستقل باستخدام تقنية LoRA واستراتيجية تكييف تمييزية، محققاً دقة فائقة على مجموعات بيانات CERT مقارنة بالأساليب المتطورة الحالية.
تقترح هذه الورقة إطار عمل للتدقيق قائماً على المارتينجال (martingale) يُمكّن طرفاً ثالثاً موثوقاً من اكتشاف وإثبات سوء إبلاغ الرموز (token misreporting) من قبل مزودي النماذج اللغوية الكبيرة بموثوقية عالية وثقة إحصائية كبيرة، مع تقليل الاتهامات الزائفة ضد المزودين الأمناء إلى أدنى حد.
تقترح هذه الورقة وتقيّم آلية تصديق لامركزية لمسلسلات عمليات الـ Rollup المؤمنة ببيئات التنفيذ الموثوقة (TEE)، مما يقلل بفعالية من مخاطر المركزية مع تعزيز الأمن ضد الرقابة والتلاعب دون المساس بالتوافق مع بنيات الطبقة الثانية (Layer-2) الحالية.
تنتقد هذه الورقة أطر عمل الهوية الرقمية الأوروبية الموحدة (EUDI) ومعايير (OpenID4VCI/VP) الحالية لاعتمادها على مفهوم للهوية متمحور حول الوثائق وهو مفهوم عفا عليه الزمن، ولإدخال آليات ثقة مركزية محفوفة بالمخاطر، داعية بدلاً من ذلك إلى تعريف أعمق للهوية وبدائل تقنية تدعم بشكل أفضل إدارة الهوية السيادية ذاتياً والمركزة حول المستخدم.
تقدم هذه الورقة نظاماً للتحكم في الوصول القائم على المخاطر في الوقت الفعلي لنظام لينكس، يستفيد من تتبع وظائف النواة عالي الدقة والتعلم الآلي لفرض سياسات SELinux ديناميكياً، مما يؤدي بفعالية إلى حظر تشفير برامج الفدية مع الحفاظ على العمليات التشفيرية المشروعة بأقل قدر من الأعباء الإضافية على الأداء.
تقدم هذه الورقة مفهوم "الحصرية البصرية" (Visual Exclusivity)، وهو تهديد مرن قائم على الصور ينشأ فيه الضرر من التفكير في المحتوى البصري، وتقترح إطار العمل الوكيل "MM-Plan"، الذي يحقق معدلات نجاح هجوم أعلى بكثير ضد النماذج متعددة الوسائط الرائدة من خلال تركيب استراتيجيات عالمية متعددة الجولات بدلاً من الاعتماد على الهجمات الهشة القائمة على الحمولة.
يُعد Agentproof نظام تحقق استاتيكي يقوم تلقائياً باستخراج نماذج رسوم بيانية موحدة من أطر عمل الوكلاء الرئيسية للكشف عن العيوب الهيكلية وفرض سياسات السلامة الزمنية عبر لغة وصفية متخصصة وتحليل قائم على الأوتوماتات المحدودة الحتمية (DFA)، مما يكمل حواجز الحماية أثناء التشغيل من خلال تحديد المشكلات على مستوى الطوبولوجيا قبل النشر.