Cybersäkerhet · Formella metoder · Cyberfysiska system

SaraAbbaspour

Universitetslektor och forskare inom cybersäkerhet

Jag undersöker hur rigorös modellering, verifiering och AI-stödd analys kan göra cyberfysiska och industriella system säkrare, mer tillförlitliga och trovärdiga.

Utforska min forskning Google Scholar
Mälardalen University
Västerås, Sverige
Modellera hot innan de leder till fel
Verifiera beteenden medan systemen utvecklas
Knyta samman forskning och industriell praktik

Om mig

Att skapa förtroende för uppkopplade, intelligenta system.

Jag är universitetslektor och forskare vid Mälardalens universitet. Mitt arbete omfattar cybersäkerhet, cyberfysiska system, formella metoder, runtime-verifiering, hotmodellering och AI-stödd säkerhetsutveckling.

Genom akademisk forskning, handledning, undervisning och industrinära fallstudier fokuserar jag på metoder som gör säkerhetsunderlag tydligare och systembeteenden mer tillförlitliga i praktiken.

2013Forskning vid MDU sedan
PhDDatavetenskap och datateknik
ABB Volvo CE Erfarenhet av industriella fallstudier

Forskningsområden

Från systemmodeller till tillförlitlig exekvering.

Cybersäkerhet för cyberfysiska system

Säkerhetsanalys och assurance för system där programvarubeslut samverkar med industriella processer och den fysiska världen.

CPSIndustriell säkerhetAssurance

Hotmodellering och säkerhetsorienterade modeller

Strukturerade metoder för att identifiera attackscenarier, beskriva säkerhetsrelevanta dataflöden och stödja tidig säkerhetsanalys.

STRIDEDFDAttackmodeller

Runtime-verifiering och övervakning

Detektering av osäkert eller antagonistiskt beteende under körning, inklusive samtidighetsfel, runtime-monitorer och Tiny Twins.

Runtime assuranceÖvervakning

AI-stödd säkerhetsutveckling

Studier av hur språkmodeller och AI kan stödja säkerhetsanalys med bibehållen spårbarhet, expertgranskning och välgrundat förtroende.

LLMsTillförlitlig AIValidering

Erfarenhet och utbildning

En karriär som förenar programvaruutveckling, forskning och utbildning.

2025—nu

Universitetslektor

Mälardalens universitet · Sverige

Undervisning, forskningsledning, handledning och utveckling av utbildning inom cybersäkerhet.

2020—nu

Forskare inom säkerhetsrelevanta cyberfysiska system

Mälardalens universitet · Sverige

Formella metoder, säkerhetsmodellering, runtime-verifiering och industrinära forskning.

2018—2020

Postdoktoral forskare

Mälardalens universitet · Sverige

Säkerhets- och trygghetsrelevanta cyberfysiska system.

2013—2018

Doktorsexamen i datavetenskap och datateknik

Mälardalens universitet · Sverige

Avhandling: Concurrency Bugs: Characterization, Debugging and Runtime Verification.

2008—2011

Masterexamen i programvaruteknik

University of Malaya · Malaysia

Kandidatexamen i programvaruteknik

Iran

Senaste arbeten

Publikationer

Senaste publikationer.

Visa alla publikationer
2026

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

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

Ledarskap

Projekt och finansiering

Forskning som formas genom samarbete.

Huvudsökande · 2024

STEP-PS

Säkra och tillförlitliga exekveringsplattformar — förstudie för smarta rum.

TSS pre-study

Huvudsökande · 2024

Research on Collaboration

Angreppssätt och teoretiska ramverk för forskningssamarbete inom datavetenskap och datateknik.

Industrisamarbete

Tillämpad säkerhetsforskning

Forskningsfallstudier tillsammans med ABB och Volvo Construction Equipment.

ABBVolvo CE

Undervisning och handledning

Datorsystem

Operativsystem

Industriellt sakernas internet för tillverkningsindustrin

Samspelet mellan funktionssäkerhet och cybersäkerhet

Smarta fabriker

Industriell cybersäkerhet

Introduktion till Industri 4.0

Kontakt

Intresserad av säkra och tillförlitliga system?

Jag välkomnar samtal om forskningssamarbete, akademiskt utbyte, handledning och tvärvetenskapligt arbete inom cybersäkerhet.

Profil på MDU