امنیت سایبری · روش‌های صوری · سیستم‌های سایبرفیزیکی

ساراعباس‌پور

مدرس ارشد و پژوهشگر امنیت سایبری

پژوهش من بررسی می‌کند که چگونه مدل‌سازی دقیق، راستی‌آزمایی و تحلیل مبتنی بر هوش مصنوعی می‌تواند سیستم‌های سایبرفیزیکی و صنعتی را امن‌تر، قابل‌اعتمادتر و اطمینان‌پذیرتر کند.

مشاهده پژوهش‌های من Google Scholar

Mälardalen University
وستروس، سوئد

درباره من

ایجاد اطمینان در سیستم‌های متصل و هوشمند.

من مدرس ارشد و پژوهشگر دانشگاه ملاردالن هستم. فعالیت من حوزه‌های امنیت سایبری، سیستم‌های سایبرفیزیکی، روش‌های صوری، راستی‌آزمایی زمان اجرا، مدل‌سازی تهدید و مهندسی امنیت با کمک هوش مصنوعی را دربر می‌گیرد.

در پژوهش دانشگاهی، راهنمایی دانشجویان تحصیلات تکمیلی، تدریس و مطالعات موردی صنعتی، بر روش‌هایی تمرکز دارم که شواهد امنیتی را روشن‌تر و رفتار سیستم را در عمل قابل‌اعتمادتر می‌کنند.

2013

آغاز پژوهش در MDU

PhDعلوم و مهندسی کامپیوتر

ABB Volvo CE تجربه مطالعات موردی صنعتی

حوزه‌های پژوهشی

از مدل‌های سیستمی تا اجرای اطمینان‌پذیر.

امنیت سایبری سیستم‌های سایبرفیزیکی

تحلیل و تضمین امنیت برای سیستم‌هایی که در آن‌ها تصمیم‌های نرم‌افزاری با فرایندهای صنعتی و جهان فیزیکی تعامل دارند.

CPSامنیت صنعتیتضمین

مدل‌سازی تهدید و مدل‌های امنیت‌محور

روش‌های ساخت‌یافته برای شناسایی سناریوهای حمله، نمایش جریان‌های داده مرتبط با امنیت و پشتیبانی از تحلیل امنیتی در مراحل اولیه.

STRIDEDFDمدل‌های حمله

راستی‌آزمایی و پایش زمان اجرا

تشخیص رفتار ناامن یا خصمانه هنگام اجرای سیستم، شامل خطاهای هم‌زمانی، پایشگرهای زمان اجرا و Tiny Twins.

تضمین زمان اجراپایش

مهندسی امنیت با کمک هوش مصنوعی

بررسی نقش مدل‌های زبانی و هوش مصنوعی در تحلیل امنیت، همراه با حفظ قابلیت ردیابی، نظارت متخصص و اطمینان مستدل.

LLMsهوش مصنوعی قابل‌اعتماداعتبارسنجی

سوابق و تحصیلات

مسیر حرفه‌ای در پیوند مهندسی نرم‌افزار، پژوهش و آموزش.

۲۰۲۵—اکنون

مدرس ارشد

دانشگاه ملاردالن · سوئد

تدریس، هدایت پژوهش، راهنمایی دانشجویان و توسعه برنامه‌های آموزشی امنیت سایبری.

۲۰۲۰—اکنون

پژوهشگر سیستم‌های سایبرفیزیکی مرتبط با امنیت

دانشگاه ملاردالن · سوئد

روش‌های صوری، مدل‌سازی امنیت، راستی‌آزمایی زمان اجرا و پژوهش‌های مرتبط با صنعت.

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

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

رهبری پژوهش

پروژه‌ها و تأمین مالی

پژوهشی که با همکاری شکل می‌گیرد.

مجری اصلی · ۲۰۲۴

STEP-PS

سکوهای اجرای امن و اطمینان‌پذیر — پیش‌مطالعه برای اتاق‌های هوشمند.

TSS pre-study

مجری اصلی · ۲۰۲۴

Research on Collaboration

رویکردها و چارچوب‌های نظری همکاری پژوهشی در علوم و مهندسی کامپیوتر.

هم‌متقاضی · ۲۰۲۰

ARC

واقعیت افزوده و امنیت سایبری.

Knowledge Foundation

همکاری صنعتی

پژوهش کاربردی امنیت

مطالعات موردی پژوهشی با مشارکت ABB و Volvo Construction Equipment.

ABB

Volvo CE

تدریس و راهنمایی

سیستم‌های کامپیوتری

سیستم‌عامل‌ها

اینترنت اشیای صنعتی برای صنایع تولیدی

تعامل ایمنی و امنیت

کارخانه‌های هوشمند

امنیت سایبری صنعتی

مقدمه‌ای بر صنعت ۴٫۰

تماس

به سیستم‌های امن و اطمینان‌پذیر علاقه‌مندید؟

از گفت‌وگو درباره همکاری پژوهشی، تبادل دانشگاهی، راهنمایی دانشجویان و فعالیت میان‌رشته‌ای در امنیت سایبری استقبال می‌کنم.

پروفایل دانشگاه