Fereidoun Moradi
According to our database1,
Fereidoun Moradi
authored at least 7 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.
J. Parallel Distributed Comput., February, 2024
Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems.
PhD thesis, 2024
J. Log. Algebraic Methods Program., 2024
2022
Proceedings of the Model Checking Software - 28th International Symposium, 2022
2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
2019
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.
Wirel. Pers. Commun., 2015