Fereidoun Moradi

According to our database, Fereidoun Moradi authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.

Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani

J. Parallel Distributed Comput., February, 2024

Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems.

Fereidoun Moradi

PhD thesis, 2024

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems.

Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani

J. Log. Algebraic Methods Program., 2024

2022

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.

Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

On-Off Attack on a Blockchain-based IoT System.

Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2015

Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs.

Fereidoun Moradi, Hamid Mala, Behrouz Tork Ladani

Wirel. Pers. Commun., 2015