Ciberseguridad · Métodos formales · Sistemas ciberfísicos

SaraAbbaspour

Profesora titular e investigadora en ciberseguridad

Investigo cómo el modelado riguroso, la verificación y el análisis asistido por IA pueden hacer que los sistemas ciberfísicos e industriales sean más seguros, fiables y dignos de confianza.

Explorar mi investigación Google Scholar

Mälardalen University
Västerås, Suecia

Perfil

Sobre mí

Generar confianza en sistemas conectados e inteligentes.

Soy profesora titular e investigadora en la Universidad de Mälardalen. Mi trabajo abarca ciberseguridad, sistemas ciberfísicos, métodos formales, verificación en tiempo de ejecución, modelado de amenazas e ingeniería de seguridad asistida por IA.

En la investigación académica, la supervisión de posgrado, la docencia y los estudios de caso industriales, me centro en métodos que hacen más claras las evidencias de seguridad y más fiable el comportamiento de los sistemas.

2013

Investigación en MDU desde

PhDCiencias e Ingeniería Informática

ABB Volvo CE Experiencia en estudios de caso industriales

Investigación

Líneas de investigación

De los modelos de sistemas a una ejecución confiable.

Ciberseguridad para sistemas ciberfísicos

Análisis y garantía de seguridad para sistemas en los que las decisiones del software interactúan con procesos industriales y el mundo físico.

CPSSeguridad industrialGarantía

Modelado de amenazas y modelos orientados a la seguridad

Enfoques estructurados para identificar escenarios de ataque, representar flujos de datos relevantes y apoyar el razonamiento temprano sobre seguridad.

STRIDEDFDModelos de ataque

Verificación y monitorización en tiempo de ejecución

Detección de comportamientos inseguros o adversarios durante la ejecución, incluidos errores de concurrencia, monitores de ejecución y Tiny Twins.

Garantía en ejecuciónMonitorización

Ingeniería de seguridad asistida por IA

Estudio de cómo los modelos de lenguaje y la IA pueden apoyar el análisis de seguridad manteniendo la trazabilidad, la supervisión experta y una confianza justificada.

LLMsIA confiableValidación

Trayectoria

Experiencia y formación

Una trayectoria que conecta ingeniería de software, investigación y educación.

2025—actualidad

Profesora titular

Universidad de Mälardalen · Suecia

Docencia, liderazgo científico, supervisión y desarrollo curricular en ciberseguridad.

2020—actualidad

Investigadora en sistemas ciberfísicos relevantes para la seguridad

Universidad de Mälardalen · Suecia

Métodos formales, modelado de seguridad, verificación en ejecución e investigación orientada a la industria.

2018—2020

Investigadora posdoctoral

Universidad de Mälardalen · Suecia

Sistemas ciberfísicos relacionados con la seguridad funcional y la ciberseguridad.

2013—2018

Doctorado en Ciencias e Ingeniería Informática

Universidad de Mälardalen · Suecia

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

2008—2011

Máster en Ingeniería de Software

Universidad de Malaya · Malasia

Grado en Ingeniería de Software

Irán

Trabajos recientes

Publicaciones

Publicaciones recientes.

Ver todas las publicaciones

2026

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

SAFECOMP 2026 Aceptado en 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

Liderazgo

Proyectos y financiación

Investigación impulsada por la colaboración.

Investigadora principal · 2024

STEP-PS

Plataformas de ejecución seguras y confiables — estudio preliminar para espacios inteligentes.

TSS pre-study

Investigadora principal · 2024

Research on Collaboration

Enfoques y marcos teóricos para la colaboración científica en informática e ingeniería.

RoC grant

Co-solicitante · 2020

ARC

Realidad aumentada y ciberseguridad.

Knowledge Foundation

KKS grant

Colaboración industrial

Investigación aplicada en seguridad

Estudios de caso con ABB y Volvo Construction Equipment.

ABB

Volvo CE

Colaboración académica–industrial

Docencia

Docencia y supervisión

Docencia y supervisión en ciberseguridad y sistemas confiables.

Fundamentos de ciberseguridad industrial

Métodos y herramientas para la ciberseguridad industrial

Supervisión de posgrado en modelado y seguridad de sistemas ciberfísicos

Supervisión de tesis de máster y grado

Contacto

¿Le interesan los sistemas seguros y confiables?

Estoy abierta a conversar sobre colaboración científica, intercambio académico, supervisión y trabajo interdisciplinar en ciberseguridad.

Perfil en MDU