Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs. - Fereidoun Moradi; Hamid Mala; Behrouz Tork Ladani (Wirel. Pers. Commun., 2015)

On-Off Attack on a Blockchain-based IoT System. - Fereidoun Moradi; Ali Sedaghatbaf; Sara Abbaspour Asadollah; Aida Causevic; Marjan Sirjani (ETFA, 2019)

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 (FMICS, 2020)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. - Fereidoun Moradi; Maryam Bagheri 001; Hanieh Rahmati; Hamed Yazdi; Sara Abbaspour Asadollah; Marjan Sirjani (SPIN, 2022)

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)

Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems. - Fereidoun Moradi (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., 2024)