3659 ورقة بحثية
تستعرض هذه الورقة مشهد الدوال الكمومية أحادية الاتجاه والبدائيات التشفيرية ذات الصلة، موضحةً علاقاتها المفاهيمية، وافتراضاتها الأمنية، وإمكانية تحقيقها فيزيائياً، مع رسم الخطوط العريضة للتوجهات المستقبلية لبناء منظومة تشفير كمومي أوسع نطاقاً تتجاوز توزيع المفاتيح.
تعالج هذه الورقة الافتقار إلى مقاييس أمنية موحدة للبرمجيات الكمومية من خلال اقتراح مجموعة منظمة من معايير جودة الأمن (S-FoMs) المتوافقة مع معيار ISO/IEC 25010، ونموذج تقييم لحساب درجة موحدة لوضع الأمن البرمجي الكمومي (QSSP).
تقترح هذه الورقة نموذج تهديد شاملاً، مكوناً من ست مراحل، لنهاية إلى نهاية لخطوط أنابيب الحوسبة الكمية كخدمة (QaaS)، والذي يوحد الهجمات المعزولة الحالية تحت إطار عمل STRIDE مهيكل، ويحدد سلاسل الهجوم عبر المراحل، ويسلط الضوء على المخاطر الأمنية غير المستكشفة كافتاً مثل الإنكار ورفع الامتيازات.
يُعد RustGo فازر (fuzzer) جديداً من نوع الـ greybox الموجه الذي يستفيد من التحليل الساكن الخاص بلغة Rust لتحديد أهداف أخطاء الذاكرة المحتملة تلقائياً وتقليم مسارات التنفيذ غير ذات الصلة، مما يحسن كفاءة الفحص بشكل كبير ويكتشف الثغرات الأمنية غير المعروفة في كود Rust غير الآمن (unsafe Rust) مقارنة بالنهج الحالية.
تقدم هذه الورقة هجوماً بسيطاً يستعيد مفتاح التجزئة (hash key) لـ GCM وGMAC عند استخدام نون (nonce) بطول صفر، مما يتيح التزوير التعسفي، وهي ثغرة أمنية خاصة بمعيار ISO/IEC الذي يسمح بمثل هذه الـ nonces ولكن ليس نسخة NIST التي تفرض حداً أدنى للطول.
تقدم هذه الورقة البحثية dfence، وهي تعليمات جديدة لوحدة المعالجة المركزية توفر حماية دقيقة ومفروضة عتاديًا ضد هجمات Spectre-PHT وSpectre-STL مع حد أدنى من التكاليف الإضافية على الأداء، مكملة بنظام أنواع لضمان التنفيذ الآمن والصحيح.
تقدم هذه الورقة HOPSCOTCH، وهو إطار عمل لـ Lean 4 يعمل على مكننة البراهين التشفيرية القائمة على الألعاب والمتسقة حاسوبياً باستخدام منهجية التضمين الضحل وتجريد الحالة للتحقق رسمياً من الخصائص الأمنية المعقدة مثل بناء GGM وأمن IND-CCA.
تقدم هذه الورقة ترجمة سليمة من Tamarin إلى ProVerif تتيح تحليلاً مقارناً دقيقاً لأدوات التحقق من البروتوكولات الأمنية عبر ترميز دلالات إعادة كتابة المجموعات المتعددة الخاصة بـ Tamarin في حساب الـ applied-pi الخاص بـ ProVerif، محققةً تغطية عالية ومكاسب كبيرة في الأداء مع التوصيف الرسمي لحدود الترجمة الأمينة.
تتناول هذه الورقة بشكل منهجي غياب الإجماع حول المرونة التشفيرية من خلال مراجعة التعريفات القائمة لإرساء إطار عمل معياري، وتمييزها عن المفاهيم ذات الصلة، وتحليل مقايضاتها ومدى قابليتها للتطبيق لتوضيح دورها في الأمن التشفيري الحديث.
تقدم الورقة البحثية UnivIntruder، وهو إطار عمل لهجوم عدائي مبتكر يستفيد من نموذج CLIP عام واحد ومفاهيم نصية لتوليد اضطرابات عالمية، وقابلة للنقل، ومستهدفة تحقق معدلات نجاح عالية ضد الشبكات العصبية العميقة والأنظمة الواقعية المتنوعة دون الحاجة إلى الوصول إلى بيانات تدريب الهدف أو استعلامات مفرطة للنماذج.