3659 ورقة بحثية
تقدم هذه الورقة البحثية SLAC، وهو هجوم جانبي جديد دقيق وموجه بالوصول على معالجات Apple Silicon، يستغل بصمات ذاكرة التخزين المؤقت المشتركة على مستوى النظام لتمكين عمليات وحدة المعالجة المركزية غير المصرح لها من مراقبة أعباء عمل وحدة معالجة الرسومات، محققاً انتهاكات خصوصية عالية الدقة ضد الشبكات العصبية الرسومية والنماذج اللغوية الكبيرة.
تقدم هذه الورقة إطاراً رياضياً صارماً لحوكمة أنظمة الذكاء الاصطناي التوليدي متعددة الوكلاء من خلال معالجة عدم كفاية تحليلات الاستقرار الفردية عبر برهان "ليابونوف المشترك" (JLP) الذي يتيح التصديق بمعرفة صفرية على الاستقرار الإجمالي ويحدد عتبات الاقتران الحرجة لمخاطر المجموع الناشئة.
تقدم هذه الورقة VUPER، وهو إطار عمل يقوم بتوليد أدوات تحليل وتسلسل (parsers and serializers) لبروتوكول ASN.1 UMP، تكون محققة رسمياً ودقيقة على مستوى البت، والتي استُخدمت للكشف عن 20 نوعاً من التناقضات والثغرات الأمنية الملموسة في أدوات تحليل شائعة مفتوحة المصدر وتجارية من خلال الاختبار الديناميكي على بروتوكولات 5G وV2X.
تقدم هذه الورقة عائلة من أنظمة الأنواع الحساسة للتدفق القائمة على "الكمية" (quantale) للمعلومات لفرض سياسات تدفق معلومات انفصالية، مبرهنةً أنه في حين تفشل النهج القياسية القائمة على الشبكة الجزئية (lattice) في التصديق بدقة على مثل هذه السياسات، فإن آلية منقحة تؤجل التخصيص إلى مستوى الحكم تنجح في استعادة السلامة والدقة عبر تجنب فقدان انفصال الفروع.
تقترح هذه الورقة نسخة احتمالية من التفويض الواعي بالخصوصية تستخدم مقياس تقدير الـ k-anonymity المدفوع بنماذج اللغات الكبيرة (LLM) ومجموعة بيانات PUPA-SD التي تم إنشاؤها حديثاً لحماية المستخدمين بشكل أفضل من مخاطر الخصوصية الناجمة عن الإفصاحات الذاتية الخالية من معلومات الهوية الشخصية (PII)، مما يثبت أن هذا النهج يحقق توازناً أمثلاً بين الخصوصية والمنفعة لنماذج مثل Llama-3.2-3B.
تقدم هذه الورقة KVGov، وهي طبقة حوكمة تمنع هجمات القنوات الجانبية الزمنية في استدلال النماذج اللغوية الكبيرة متعددة المستأجرين عبر عزل مفاتيح ذاكرة التخزين المؤقت (KV cache) تشفيرياً بين المستأجرين من خلال تمليح لكل طرف وجدول زمني للتدقيق، مما يقضي على تسرب البيانات بين المستأجرين مع الحفاظ على 93% من كفاءة التخزين المؤقت للبادئات.
تقدم هذه الورقة "تتبع العملات الزائلة" (ECT)، وهو عنصر أولي للحفاظ على الخصوصية في أنظمة الدفع المنظمة، يفرض تشفيرياً حدوداً صارمة ومطلقة على مدة ونطاق تتبع إنفاذ القانون لمنع المراقبة غير المحدودة مع تمكين التحقيق في الأنشطة غير المشروعة في الوقت ذاته.
تقيم هذه الورقة البحثية الأثر الاقتصادي لهجمات حجب الخدمة وهجمات تأخير الوقت على البنية التحتية المتقدمة للقياس (AMI) من خلال محاكاة برنامج Mininet، حيث كشفت أن تدهور الاتصال يؤدي بشكل كبير إلى زيادة زمن التأخير وفقدان الحزم، مما قد يتسبب بدوره في خسائر مالية يومية تتراوح ما بين 1,000 دولار تقريبًا إلى أكثر من 5,000 دولار نتيجة عدم اليقين في تقدير الطلب على الطاقة وتكاليف المشتريات.
تقدم هذه الورقة ActBench، وهو معيار تقييم ذاتي التطور يتكون من 600 حالة عبر 213 سيناريو يقيم السلامة السلوكية لوكلاء العمل المشترك من خلال تحليل مسارات التنفيذ بدلاً من الاستجابات النهائية، مما يكشف عن ثغرات كبيرة في كل من النماذج اللغوية الكبيرة وأطر عمل الوكلاء من خلال إطار عمل مبتكر لتوليد الهجمات الموجهة بالمكافأة والتحقق من الأدلة المزدوجة.
تقدم هذه الورقة ANTMAN، وهو أول إطار عمل للكشف في وقت التشغيل على مستوى RTL، يتميز بكونه آمناً بالتصميم وقابلاً للتفسير، ومخصصاً لهجمات متنبئ الفروع المتخفية على معالج BOOM مفتوح المصدر بمعمارية RISC-V، والذي يستخدم قواعد ترابط مستخرجة مسبقاً ومدمجة في الأجهزة لتحقيق صفر من الإيجابيات الكاذبة ومنع كشف الأسرار دون الاعتماد على عدادات أداء الأجهزة المحدودة.