الأمن السيبراني · الأساليب الصورية · الأنظمة السيبرانية الفيزيائية

SaraAbbaspour

محاضِرة أولى وباحثة في الأمن السيبراني

أبحث في كيفية توظيف النمذجة الدقيقة والتحقق والتحليل المدعوم بالذكاء الاصطناعي لجعل الأنظمة السيبرانية الفيزيائية والصناعية أكثر أمناً واعتمادية وجديرة بالثقة.

استكشف أبحاثي Google Scholar

Mälardalen University
فيستيروس، السويد

الملف الشخصي

نبذة عني

بناء الثقة في الأنظمة المتصلة والذكية.

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

أركز في البحث الأكاديمي والإشراف على طلبة الدراسات العليا والتدريس ودراسات الحالة الصناعية على أساليب تجعل أدلة الأمن أوضح وسلوك الأنظمة أكثر اعتمادية في التطبيق.

2013

البحث في MDU منذ

PhDعلوم وهندسة الحاسوب

ABB Volvo CE خبرة في دراسات الحالة الصناعية

البحث

مجالات البحث

من نماذج الأنظمة إلى التنفيذ الجدير بالثقة.

الأمن السيبراني للأنظمة السيبرانية الفيزيائية

تحليل الأمن وضمانه في الأنظمة التي تتفاعل فيها قرارات البرمجيات مع العمليات الصناعية والعالم المادي.

CPSالأمن الصناعيالضمان

نمذجة التهديدات والنماذج الموجهة أمنياً

مقاربات منظمة لتحديد سيناريوهات الهجوم وتمثيل تدفقات البيانات ذات الصلة بالأمن ودعم التحليل المبكر.

STRIDEDFDنماذج الهجوم

التحقق والمراقبة وقت التشغيل

اكتشاف السلوك غير الآمن أو العدائي أثناء التشغيل، بما في ذلك أخطاء التزامن ومراقبات وقت التشغيل وTiny Twins.

ضمان وقت التشغيلالمراقبة

هندسة الأمن المدعومة بالذكاء الاصطناعي

دراسة كيفية دعم نماذج اللغة والذكاء الاصطناعي للتحليل الأمني مع الحفاظ على التتبع وإشراف الخبراء والثقة المبررة.

LLMsذكاء اصطناعي جدير بالثقةالتحقق

المسار المهني

الخبرة والتعليم

مسيرة تجمع بين هندسة البرمجيات والبحث والتعليم.

2025—الآن

محاضِرة أولى

جامعة مالاردالن · السويد

التدريس وقيادة البحث والإشراف وتطوير مناهج الأمن السيبراني.

2020—الآن

باحثة في الأنظمة السيبرانية الفيزيائية ذات الصلة بالأمن

جامعة مالاردالن · السويد

الأساليب الصورية ونمذجة الأمن والتحقق وقت التشغيل والبحث المرتبط بالصناعة.

2018—2020

باحثة ما بعد الدكتوراه

جامعة مالاردالن · السويد

الأنظمة السيبرانية الفيزيائية ذات الصلة بالسلامة والأمن.

2013—2018

دكتوراه في علوم وهندسة الحاسوب

جامعة مالاردالن · السويد

الأطروحة: Concurrency Bugs: Characterization, Debugging and Runtime Verification.

2008—2011

ماجستير في هندسة البرمجيات

جامعة مالايا · ماليزيا

بكالوريوس في هندسة البرمجيات

إيران

أعمال حديثة

المنشورات

أحدث المنشورات.

عرض جميع المنشورات

2026

A Hierarchical Framework for Safety in Orchestrated Systems-of-Systems

SAFECOMP 2026 مقبول في SAFEComp 2026

SAFECOMP 2026

Transforming Cybersecurity Research: AI as our Research Assistant in Academia

ACDSA 2026

IEEE 2024

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios

Journal of Cybersecurity and Privacy

MDPI 2024

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems

Journal of Logical and Algebraic Methods in Programming

Elsevier 2024

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system

Journal of Parallel and Distributed Computing

Elsevier

القيادة البحثية

المشروعات والتمويل

بحث يتشكل من خلال التعاون.

الباحثة الرئيسة · 2024

STEP-PS

منصات تنفيذ آمنة وجديرة بالثقة — دراسة تمهيدية للغرف الذكية.

TSS pre-study

الباحثة الرئيسة · 2024

Research on Collaboration

مقاربات وأطر نظرية للتعاون البحثي في علوم وهندسة الحاسوب.

RoC grant

متقدمة مشاركة · 2020

ARC

الواقع المعزز والأمن السيبراني.

Knowledge Foundation

KKS grant

تعاون صناعي

بحث أمني تطبيقي

دراسات حالة بحثية بمشاركة ABB وVolvo Construction Equipment.

ABB

Volvo CE

تعاون أكاديمي–صناعي

التدريس

التدريس والإشراف

التدريس والإشراف في الأمن السيبراني والأنظمة الموثوقة.

أساسيات الأمن السيبراني الصناعي

أساليب وأدوات الأمن السيبراني الصناعي

الإشراف على الدراسات العليا في النمذجة وأمن الأنظمة السيبرانية الفيزيائية

الإشراف على رسائل الماجستير ومشروعات البكالوريوس

التواصل

هل تهتم بالأنظمة الآمنة والجديرة بالثقة؟

أرحب بالنقاش حول التعاون البحثي والتبادل الأكاديمي والإشراف والعمل متعدد التخصصات في الأمن السيبراني.

ملفي في MDU