Fereidoun Moradi

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 5

Top Topics

Authentication Protocol

Security Analysis

Cyber Physical Systems

Top Venues

J. Log. Algebraic Methods Program.

Wirel. Pers. Commun.

J. Parallel Distributed Comput.

Publications

Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebraic Methods Program. 139 (2024)
Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system. J. Parallel Distributed Comput. 184 (2024)
Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. SPIN (2022)
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS (2020)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani
On-Off Attack on a Blockchain-based IoT System. ETFA (2019)
Fereidoun Moradi, Hamid Mala, Behrouz Tork Ladani
Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs. Wirel. Pers. Commun. 83 (4) (2015)