An actor-based approach for security analysis of cyber-physical systems F Moradi, S Abbaspour Asadollah, A Sedaghatbaf, A Čaušević, M Sirjani, ... Formal Methods for Industrial Critical Systems: 25th International …, 2020 | 15 | 2020 |
On-off attack on a blockchain-based iot system F Moradi, A Sedaghatbaf, SA Asadollah, A Čaušević, M Sirjani 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 15 | 2019 |
Security analysis and strengthening of an RFID lightweight authentication protocol suitable for VANETs F Moradi, H Mala, BT Ladani Wireless Personal Communications 83, 2607-2621, 2015 | 11 | 2015 |
Monitoring cyber-physical systems using a tiny twin to prevent cyber-attacks F Moradi, M Bagheri, H Rahmati, H Yazdi, SA Asadollah, M Sirjani International Symposium on Model Checking Software, 24-43, 2022 | 5 | 2022 |
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system F Moradi, B Pourvatan, SA Asadollah, M Sirjani Journal of Parallel and Distributed Computing 184, 104780, 2024 | 3 | 2024 |
Crystal framework: Cybersecurity assurance for cyber-physical systems F Moradi, SA Asadollah, B Pourvatan, Z Moezkarimi, M Sirjani Journal of Logical and Algebraic Methods in Programming 139, 100965, 2024 | 2 | 2024 |
Security analysis of an epc class-1 generation-2 compliant rfid authentication protocol F Moradi, H Mala, B Tork Ladani, F Moradi Journal of Computing and Security 3 (3), 163-174, 2016 | 2 | 2016 |
Cryptanalysis and strengthening of SRP+ protocol F Moradi, H Mala, BT Ladani 2015 12th International Iranian Society of Cryptology Conference on …, 2015 | 2 | 2015 |
Journal of Logical and Algebraic Methods in Programming F Moradi, SA Asadollah, B Pourvatan, Z Moezkarimi, M Sirjani Journal of Logical and Algebraic Methods in Programming 139, 100965, 2024 | | 2024 |
Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems F Moradi Mälardalens universitet, 2024 | | 2024 |
Building Attack Models for Security Analysis of CPS F Moradi, M Sirjani, A Cauševic, SA Asadollah | | 2020 |
Enhancing CRYSTAL: Preventive Recovery in Brief F Moradi, Z Moezkarimi, M Sirjani | | |
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins F Moradi, SA Asadollah, M Sirjani | | |
CG+ RFID Authentication Protocol Revisited F Moradi, H Mala | | |