Ehsan Poorhadi

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Countermeasures

Biometric Template

Top Venues

SAFECOMP Workshops

Publications

Ehsan Poorhadi, Elena Troubitsyna
Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail (2023)
Ehsan Poorhadi, Elena Troubitsyna, György Dán
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. IMBSA (2022)
Ehsan Poorhadi, Elena Troubitysna, György Dán
Formal Modelling of the Impact of Cyber Attacks on Railway Safety. SAFECOMP Workshops (2021)
Ehsan Poorhadi, Elena Troubitysna, György Dán
Formalising the Impact of Security Attacks on IoT Safety. SAFECOMP Workshops (2020)