سلسلة ندوات مركز بحوث الأمن الرقمي - د. سيباستيان باردين

العنوان:

خمسة تدرجات للتنفيذ الرمزي من أجل إيجاد الثغرات الأمنية

الملخص:

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

السيرة الذاتية:

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