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
01Modellera hot innan de leder till fel
02Verifiera beteenden medan systemen utvecklas
03Knyta samman forskning och industriell praktik
01

Profil

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
02

Forskning

Forskningsområden

Från systemmodeller till tillförlitlig exekvering.

01

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
02

Hotmodellering och säkerhetsorienterade modeller

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

STRIDEDFDAttackmodeller
03

Runtime-verifiering och övervakning

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

Runtime assuranceÖvervakning
04

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
03

Karriär

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

04

Senaste arbeten

Publikationer

Senaste publikationer.

Visa alla publikationer
2026

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

SAFECOMP 2026 Accepterad till 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
05

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.

RoC grant

Industrisamarbete

Tillämpad säkerhetsforskning

Forskningsfallstudier tillsammans med ABB och Volvo Construction Equipment.

ABBVolvo CE
Akademiskt–industriellt samarbete
06

Undervisning

Undervisning och handledning

Undervisning och handledning inom cybersäkerhet och tillförlitliga system.

01

Grunderna i industriell cybersäkerhet

02

Metoder och verktyg för industriell cybersäkerhet

03

Forskarhandledning inom modellering och CPS-säkerhet

04

Handledning av examensarbeten på kandidat- och masternivå

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