3659 ورقة بحثية
تقدم هذه الورقة تحليلاً مقارناً وتنفيذاً عملياً لأساليب عزل الأجهزة من نوع RISC-V للأنظمة على شرائح (SoCs) ذات الأهمية المختلطة، مما يثبت أن فاحصاً معدلاً قائماً على نظام "العالم" (World-based checker) يوفر زمن انتقال أسوأ حالة أفضل، وقابلية توسع يمكن التنبؤ بها، وخفضاً في المساحة يصل إلى 5% مقارنة بالبدائل، مما يساهم في توجيه عملية المصادقة على المواصفات المستقبلية وتصميم الأنظمة على شرائح.
تقترح هذه الورقة إطار عمل الانتشار العكسي (InvCISD)، وهو إطار انتشار قابل للانعكاس يستخدم صورة مرجعية وشبكة متخصصة (LIMNet) لتوليد صور ستيجو (stego images) عديمة الغطاء ذات تشابه بصري منخفض بشكل كبير مع الصورة السرية، مما يعالج الثغرات الأمنية مع الحفاظ على دقة إعادة بناء عالية.
تقترح هذه الورقة وتتحقق من إطار عمل للتقييم الخالي من الملصقات (label-free) لأدوات التعلم المستمر الوكيلية (agentic continual learning) في مجال الأمن السيبراني، مبرهنةً على أن قياس تقارب نموذج الطالب نحو نموذج معلم أقوى عبر تصحيحات متفرقة يعمل كبديل موثوق للتحسن الحقيقي في الأداء عند عدم توفر معايير مرجعية مصنفة.
تحلل هذه الورقة مجموعة بيانات حوادث التمويل اللامركزي (DeFi) للنصف الأول من عام 2026 لتكشف أن 67.6% من الحوادث الأمنية و94.4% من الخسائر المنسوبة إليها حدثت عبر مسارات هجوم خارج نطاق عمليات تدقيق العقود الذكية المحددة لما قبل الحادث، مما يبرز فرقاً جوهرياً بين تاريخ التدقيق على مستوى المشروع وبين تغطية مسار الحادث المحدد.
تتقصى هذه الدراسة تصورات مستخدمي أندرويد حول تطبيقات الهاتف المحمول مقابل متصفحات الويب فيما يتعلق بالأمان والخصوصية وسهولة الاستخدام من خلال التجارب والاستطلاعات، بهدف تزويد المطورين برؤى لتعزيز كلا المنصتين.
تقدم هذه الورقة برهاناً تم التحقق منه آلياً باستخدام Rocq وSSProve، يثبت حداً أمنياً جذرياً (square-root) دقيقاً لغمر الضجيج (noise flooding) في التشفير المتماثل ضد هجمات فك التشفير التكيفية، وذلك عبر تقديم منطق برمجي علاقي جديد بـحكم فيثاغورس (Pythagorean judgment) يدمج تكاليف KL الشرطية دون تحويل وسيط إلى المسافة الإحصائية.
تقدم هذه الورقة أول تنفيذ شامل لمتجه AVX-512 لمخطط التوقيع الرقمي SQIsign، محققةً تسريعاً كبيراً في الأداء مقارنة بالتنفيذات المرجعية مع إثبات الجدوى طويلة الأمد لهذه التحسينات من خلال بنية تعليمات Intel القادمة AVX10.
تقترح الورقة البحثية إطار عمل BGA، وهو إطار تقطير عصبي مقاوم للضوضاء يجمع بين فك الارتباط الميزاتي القائم على تحليل التباين (ANOVA)، وتخليق عينات الأقلية المدفوع بـ WGAN-GP، وبنية BiLSTM-Attention لتحقيق كشف عالي الدقة وفي الوقت الفعلي للتواقيع الخبيثة في تدفقات TLS 1.3 المشفرة ذات الإنتروبيا العالية.
تقدم هذه الورقة البحثية Principle-Bench، وهو معيار مرجعي جديد يغطي الدقة، ومتانة إعادة الصياغة، والمتانة الخصومية، والمعايرة لتقييم أنظمة "النموذج اللغوي الكبير كحكم" (LLM-as-judge) في التنظيم القائم على المبادئ، مما يكشف عن معاناة النماذج الحالية من ثغرات "مسرح الامتثال" حيث يؤدي حشو الكلمات المفتاحية الخصومي بشكل جذري إلى خفض الأداء ويسلط الضوء على الحاجة الماسة إلى آليات تقييم معايرة وقابلة للتدقيق.
تثبت هذه الورقة أن صعوبة الحالة المتوسطة لتعلم الحالات الكمومية المختلطة تعادل وجود مولدات حالات أحادية الاتجاه غير قابلة للتحقق بكفاءة، مما يوسع الارتباط الجوهري بين نظرية التعلم وعلم التشفير إلى إطار الحالات المختلطة ويكشف عن انفصال بين هذه المولدات ومولدات الحالات أحادية الاتجاه القياسية بالنسبة لأوراكل (SWAP).