Fereidoun Moradi joined Cyber-Physical Systems Analysis group at Mälardalen University in 2019 as a Ph.D. student. He received his M.Sc. degree in Information Security from University of Isfahan in 2015 specializing in RFID authentication protocols security analysis. Before starting his Ph.D. studies Fereidoun has worked at Chavoosh co. (R&D) for close to 5 years.
Recent experiences:
Community services as a reviewer:
Interests:
My main research interests include Cryptanalysis, IoT/CPS Security, and Formal Methods. Currently, I am working on modeling and security analysis of cyber-physical systems (named CRYSTAL).
DPAC Newsletter Spring 2021 (Jun 2021) Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Security Analysis of an EPC Class-1 Generation-2 Compliant RFID Authentication Protocol (Feb 2018) Fereidoun Moradi, Hamid Mala , Behrouz Tork Ladani Journal of Computing and Security (JSC)
Cryptanalysis and Strengthening of SRP+ Protocol (Sep 2015) Fereidoun Moradi, Hamid Mala , Behrouz Tork Ladani 2015 12th International Iranian Society of Cryptology Conference on Information Security and Cryptology (ISCISC)
Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs (Aug 2015) Fereidoun Moradi, Hamid Mala , Behrouz Tork Ladani Wireless Personal Communications Journal (WIRE)