Fereidoun Moradi, Doctoral student

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:

  • January 22, 2021 - I had a presentation in SACSys Steering meeting on Cyber-Physical System Security.
  • December 11, 2020 - I have presented a licentiate proposal on Building Attack Models for Security Analysis of CPS.
  • November 27- December 6, 2019 - I have participated in the course entitled: From Timed Automata to Stochastic Hybrid Games at AAU in Aalborg, Denmark.
  • November 4-5, 2019 - I have participated in DPAC summit 2020 at Krusenberg Herrgård in Uppsala, Sweden.
  • September 10-14, 2019 - I have given our paper presentation about On-Off Attack on a Blockchain-based IoT System at the First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01) in Zaragoza, Spain.
  • June 8-12, 2019 - I have attended Cybersecurity and Privacy (CySeP) Summer School at KTH in Stockholm, Sweden.


Community services as a reviewer:

  • The17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020)
  • The18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
  • The European Conference on Software Architecture (ECSA 2020)
  • International Conference on integrated Formal Methods (iFM 2019)
  • Eighth International Conference on Fundamentals of Software Engineering (FSEN 2019, 2020, 2021)
  • International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)
  • The 34th ACM Symposium on Applied Computing (SAC 2019, 2021)



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). 

[Show all publications]

Latest publications:

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 (WPC)

CG+ RFID Authentication Protocol Revisited
Fereidoun Moradi, Hamid Mala