موقف الدكتوراه - التخمين حول مستوى الأمان المنخفض

تفاصيل الفرصة

المكافأة الإجمالية

0 $

جامعة حكومية

CEA Tech

المنطقة

أوروبا الغربية

البلد المضيف

فرنسا

آخر موعد للتقديم

31 أكتوبر 2021

المستوى التعليمي

الدكتوراه

نوع الفرصة

الدكتوراه

التخصصات

تكنولوجيا المعلومات وعلوم الحاسوب

تمويل الفرصة

غير ممولة

الدول المؤهلة

هذه الفرصة متوفرة لجميع البلدان

المنطقة المؤهلة

جميع المناطق

SL-DRT-21-0559

مجال البحث

الأمن السيبراني: الأجهزة والبرامج

نبذة مختصرة

نحن نعتبر السياق العام لتحليل الأمان الآلي على مستوى التعليمات البرمجية. في حين أن الهجمات القياسية مثل اختطاف التحكم في التدفق تستفيد من عيوب البرمجة (عادةً ، فقدان الشيكات المقيدة) ، فإن الهجمات المعمارية الصغيرة الحديثة تستفيد من السلوكيات الدقيقة على المستويات المعمارية الدقيقة ، وعادةً ما يتم تقديم السلوكيات التخمينية في البنى الحديثة لتحقيق الكفاءة من أجل تجاوز الحماية وتسريب البيانات الحساسة. من الصعب للغاية العثور على هذه الثغرات الأمنية من قبل خبير بشري ، لأنها تتطلب التفكير على مستوى منخفض للغاية ، وعلى عدد هائل من السلوكيات التخمينية المخفية ، وعلى خصائص الأمان المعقدة (التسريبات وتداخل البيانات ، بدلاً من الذاكرة القياسية الفساد). الهدف من عمل الدكتوراه هذا هو فهم كيف يمكن رفع طرق التحقق الرمزي الآلي واكتشاف الأخطاء (خاصة على سبيل المثال لا الحصر ، التنفيذ الرمزي) بكفاءة في حالة الهجمات المعمارية الدقيقة التخمينية ، مع الهدف النهائي المتمثل في تأمين أساسيات الأمان الأساسية في مكتبات التشفير ونواة نظام التشغيل. يثير هذا الهدف العام تحديات من حيث دلالات السلوكيات التخمينية ، ودلالات خصائص الأمان وقابلية التوسع في تقنيات التحقق. سيتم تنفيذ هذه التقنيات في إطار تحليل الكود ثنائي المستوى BINSEC وتقييم فوائدها من خلال تقييم تجريبي صارم.