ديفيد باسن - MBZUAI MBZUAI

ديفيد باسن

أستاذ منتسب في قسم علم الحاسوب

الاهتمامات البحثية

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

inner_image

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

  • شهادة التأهيل الجامعي في علوم الحاسوب من جامعة سارلاند
  • دكتوراه في علوم الحاسوب من جامعة كورنيل
  • ماجستير في علوم الحاسوب من جامعة كورنيل
  • بكالوريوس في الرياضيات من كلية ريد
  • جائزة مركز الدفاع السيبراني السويسري للتقنيات الأمنية الصاعدة – عام 2024
  • جائزة ريادة الأعمال "Dandelion" في ETH زيورخ – عام 2024
  • جائزة الورقة المتميزة في مؤتمر جمعية أنظمة الحوسبة المتقدمة  عام 2024 عن ورقة بعنوان: PURE: Payments with UWB RElay-protection – عام 2024
  • ائزة التدريس من جمعية طلاب علوم الحاسوب (VIS) في ETH زيورخ – عام 2023 جائزة الأداة المتميزة في مؤتمر Usenix – عام 2022 
  • جائزة الأداة المتميزة في مؤتمر جمعية أنظمة الحوسبة المتقدمة  عام 2022 عن نظام: Automating Cookie Consent and GDPR Violation Detection – عام 2022
  • جائزة أفضل ورقة عملية في مؤتمر معهد مهندسي الكهرباء والإلكترونيات للأمن والخصوصية – عام 2021
  • زمالة معهد مهندسي الكهرباء والإلكترونيات – عام 2021
  • جائزة "اختبار الزمن" في ندوة جمعية آلات الحوسبة حول نماذج وتقنيات التحكم في الوصول (SACMAT)، عن ورقة بحثية حول تعريف استخراج الأدوار - عام 2020
  • زمالة جمعية آلات الحوسبة – عام 2019
  • عضو الأكاديمية السويسرية للعلوم الهندسية، عام 2019
  • تكريم في قاعة مشاهير أبحاث أمن الهواتف المحمولة من الجمعية الدولية لشبكات الهاتف المحمول - عام 2018، وذلك عن تحليل الثغرات الأمنية في معيار الجيل الخامس  (5G)
  • عضو أول في معهد مهندسي الكهرباء والإلكترونيات – عام 2018
  • جائزة الورقة المتميزة في الندوة الدولية حول التكنولوجيا المؤتمتة للتحقق والتحليل (– عام 2018، عن ورقة بعنوان: البراهين المثلى للمنطق الزمني الخطي على كلمات لاسو.
  • جائزة أفضل ورقة في المؤتمر الدولي للمراقبة أثناء التشغيل – عام 2014، عن ورقة: المراقبة غير المتصلة بالشبكة القابلة للتوسع
  • جائزة الأستاذ الزائر "Velux"، مقدّمة من مؤسسة Villum في الدنمارك – عام 2013
  • جائزة "أكثر ورقة تأثيرًا خلال عشر سنوات" في مؤتمر MODELS – عام 2012، عن ورقة بعنوان:A UML-Based Modeling Language for Model-Driven Security
  • جائزة هيئة التدريس المفتوحة التعاونية من آي بي أم – من عام 2010 إلى عام 2012
  • جائزة أفضل ورقة بحثية حول أداة تقنية في المؤتمر الدولي للمراقبة أثناء التشغيل – عام 2011، عن ورقة: MONPOLY: Monitoring Usage-Control Policies.
  • جائزة التقدير للخدمة من جمعية آلات الحوسبة  – عام 2010

  • دراسة بعنوان: A Formal Analysis of Apple’s iMessage PQ3 Protocol، قام بإعدادها كل من Felix Linker, Ralf Sasse, و David Basin، ونُشرت في الندوة الرابعة والثلاثين للأمن التي تنظمها جمعية أنظمة الحوسبة المتقدمة ، سياتل الولايات المتحدة الأمريكية، في أغسطس عام 2025.
  • دراسة بعنوان: Reachability Analysis of the Domain Name System، قام بإعدادها كل من *Dhruv Nevatia, Si Liu، و David Basin، ونُشرت في وقائع مؤتمر جمعية آلات الحوسبة حول مبادئ لغات البرمجة، المجلد 9، العدد 62، الصفحات 1–31، في يناير عام 2025.
  • دراسة بعنوان: Specifying and Verifying Information Flow Control in SELinux Configurations، قام بإعدادها كل من Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano، و David Basin، ونُشرت في وقائع جمعية آلات الحوسبة حول الخصوصية والأمن، المجلد 27، العدد 4، الصفحات 1–35، في أكتوبر عام 2024.
  • دراسة بعنوان: Inducing Authentication Failures to Bypass Credit Card PINs، قام بإعدادها كل من David Basin, Patrick Schaller، و Jorge Toro-Pozo، ونُشرت في الندوة الثانية والثلاثين للأمن التي تنظمها جمعية أنظمة الحوسبة المتقدمة ، الصفحات 3065–3079، بمدينة أنهايم، الولايات المتحدة الأمريكية، في أغسطس عام 2023.
  • دراسة بعنوان: The Complete Guide to SCION: From Design Principles to Formal Verification، قام بإعدادها كل من Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller، و Adrian Perrig، ونُشرت في دار النشر Springer-Verlag، عام 2022.
  • دراسة بعنوان: Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification، قام بإعدادها كل من Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix Wolf, Peter Müller, Martin Clochard، و David Basin، ونُشرت في وقائع جمعية آلات الحوسبة حول الخصوصية والأمن (OOPSLA)، المجلد 4، المقال رقم 152، الصفحات 1–31، بمدينة شيكاغو، الولايات المتحدة الأمريكية، في نوفمبر عام 2020.

تواصل مع شئون الكلية

مهتم بالعمل مع أعضاء هيئة التدريس لدينا
قم بتعبئة النموذج أدناه وسنقوم بالرد عليك.