Rahman, Mohammad
- Assistant Professor, Electrical and Computer Engineering , College of Engineering and Computing
Overview
overview
- I am an Assistant Professor in the Department of Electrical and Computer Engineering at Florida International University. I joined FIU in Spring 2019. Before joining FIU, I was an Assistant Professor in the Department of Computer Science at Tennessee Tech University. I obtained my Ph.D. degree in computing and information systems from the University of North Carolina at Charlotte in 2015 under the supervision of Prof. Ehab Al-Shaer. Previously, I received the BS and MS degrees in computer science and engineering from Bangladesh University of Engineering and Technology (BUET), Dhaka, in 2004 and 2007, respectively. I received the prestigious NSF CRII Award in 2017 for my research on the smart grid security analysis. I lead the Analytics of Cyber Defense (ACyD) Lab at FIU. I am a senior member of IEEE and a member of ACM. Here is my curriculum vitae for further information.
Scholarly & Creative Works
selected publications
-
Article
-
2021Resiliency-Aware Deployment of SDN in Smart Grid SCADA: A Formal Synthesis ModelFull Text via DOI: 10.1109/TNSM.2021.3050148 Web of Science: 000660636700024
-
2021Strategic Defense Against Stealthy Link Flooding Attacks: A Signaling Game Approach. IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING. 8:751-764.Full Text via DOI: 10.1109/TNSE.2021.3052090 Web of Science: 000631202700058
-
2020An energy-efficient load distribution framework for SDN controllers. COMPUTING. 102:2073-2098.Full Text via DOI: 10.1007/s00607-019-00751-2 Web of Science: 000563818500006
-
2020A game-theoretic analysis to defend against remote operating system fingerprinting. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS. 52.Full Text via DOI: 10.1016/j.jisa.2020.102456 Web of Science: 000536940000005
-
2020A signaling game approach to mitigate co-resident attacks in an IaaS cloud environment. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS. 50.Full Text via DOI: 10.1016/j.jisa.2019.102397 Web of Science: 000505033600001
-
2019An adaptive load balancing scheme for software-defined network controllers. COMPUTER NETWORKS. 164.Full Text via DOI: 10.1016/j.comnet.2019.106918 Web of Science: 000497254100019
-
2019A Requirement-Oriented Design of NFV Topology by Formal Synthesis. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. 16:1739-1753.Full Text via DOI: 10.1109/TNSM.2019.2920824 Web of Science: 000502781000032
-
2019Security design against stealthy attacks on power system state estimation: A formal approach. COMPUTERS & SECURITY. 84:301-317.Full Text via DOI: 10.1016/j.cose.2019.03.022 Web of Science: 000471358700019
-
2010A consensus-based ℓ-Exclusion algorithm for mobile ad hoc networksFull Text via DOI: 10.1016/j.adhoc.2009.03.002
-
-
Book Chapter
-
2019Toward the science of industrial control systems security and resiliency. 51-69.Full Text via DOI: 10.1007/978-3-030-18214-4_4
-
2013A declarative logic-based approach for threat analysis of advanced metering infrastructure. 59-77.Full Text via DOI: 10.1007/978-3-319-01433-3_4
-
-
Conference
-
2021CURE: Enabling RF energy harvesting using cell-free massive MIMO UAVs assisted by RIS. 533-540.Full Text via DOI: 10.1109/LCN52139.2021.9524984
-
2021REPlanner: Efficient UAV Trajectory-Planning using Economic Reinforcement Learning. 153-160.Full Text via DOI: 10.1109/SMARTCOMP52413.2021.00041
-
2020Adversarial Attacks to Machine Learning-Based Smart Healthcare SystemsFull Text via DOI: 10.1109/GLOBECOM42002.2020.9322472 Web of Science: 000668970502097
-
2020G-IDS: Generative Adversarial Networks Assisted Intrusion Detection System. 376-385.Full Text via DOI: 10.1109/COMPSAC48688.2020.0-218 Web of Science: 000629086600051
-
2020WTC2: Impact-Aware Threat Analysis for Water Treatment Centers. 473-482.Full Text via DOI: 10.1109/COMPSAC48688.2020.0-206 Web of Science: 000629086600063
-
2019Privacy Preserving Fine-Grained Data Distribution Aggregation for Smart Grid AMI Networks. 249-254.Full Text via DOI: 10.1109/MILCOM.2018.8599856
-
2018A scalable and flexible DDoS mitigation system using network function virtualization. 1-6.Full Text via DOI: 10.1109/NOMS.2018.8406314
-
2018Formal Analysis of k-Resiliency for Collaborative UAVs. 583-592.Full Text via DOI: 10.1109/COMPSAC.2018.00089
-
2018A new approach for energy efficiency in software defined network. 67-73.Full Text via DOI: 10.1109/SDS.2018.8370424
-
2018Poster abstract: Chained of things: A secure and dependable design of autonomous vehicle services. 298-299.Full Text via DOI: 10.1109/IoTDI.2018.00048
-
2018Poster abstract: Safety analysis for UAV networks. 294-295.Full Text via DOI: 10.1109/IoTDI.2018.00046
-
2017A Formal Framework of Resource Management for VNFaaS in Cloud. 254-261.Full Text via DOI: 10.1109/CLOUD.2017.40
-
2017Protection by Detection: A Signaling Game Approach to Mitigate Co-Resident Attacks in Cloud. 552-559.Full Text via DOI: 10.1109/CLOUD.2017.76
-
2017Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network. 548-556.Full Text via DOI: 10.1109/COMPSAC.2017.132
-
2017A cost-effective security management for clouds: A game-theoretic deception mechanism. 98-106.Full Text via DOI: 10.23919/INM.2017.7987269
-
2017Optimal Deployment of Charging Stations for Electric Vehicles: A Formal Approach. 83-90.Full Text via DOI: 10.1109/ICDCSW.2017.26
-
2017Automated synthesis of NFV topology: A security requirement-oriented design. 1-5.Full Text via DOI: 10.23919/CNSM.2017.8256033
-
2017Electric vehicle consumption markets: An economic analysis. 906-910.Full Text via DOI: 10.1109/GlobalSIP.2016.7905974
-
2017Dynamic DDoS defense resource allocation using Network Function Virtualization. 37-42.Full Text via DOI: 10.1145/3040992.3041000
-
2017Automated synthesis of resiliency configurations for cyber networks. 243-251.Full Text via DOI: 10.1109/CNS.2016.7860491
-
2017IoTSAT: A formal framework for security analysis of the internet of things (IoT). 180-188.Full Text via DOI: 10.1109/CNS.2016.7860484
-
2016Formal analysis for dependable supervisory control and data acquisition in smart grids. 263-274.Full Text via DOI: 10.1109/DSN.2016.32
-
2016A Novel Secure and Efficient Policy Management Framework for Software Defined Network. 423-430.Full Text via DOI: 10.1109/COMPSAC.2016.31
-
2016VFence: A Defense against Distributed Denial of Service Attacks Using Network Function Virtualization. 431-436.Full Text via DOI: 10.1109/COMPSAC.2016.219
-
2016Formal synthesis of dependable configurations for advanced metering infrastructures. 289-294.Full Text via DOI: 10.1109/SmartGridComm.2015.7436315
-
2015SafeConfig 2015 preface. iii.
-
2015SafeConfig 2015: Workshop on Automated Decision Making for active Cyber defense. 1711-1712.Full Text via DOI: 10.1145/2810103.2812624
-
2014Moving target defense for hardening the security of the power system state estimation. 59-68.Full Text via DOI: 10.1145/2663474.2663482
-
2014Security threat analytics and countermeasure synthesis for power system state estimation. 156-167.Full Text via DOI: 10.1109/DSN.2014.29
-
2014Impact analysis of topology poisoning attacks on economic operation of the smart power grid. 649-659.Full Text via DOI: 10.1109/ICDCS.2014.72
-
2014A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. 175-186.Full Text via DOI: 10.1109/ICCPS.2014.6843721
-
2013A formal model for sustainable vehicle-to-grid management. 81-92.Full Text via DOI: 10.1145/2516930.2516937
-
2013A formal framework for network security design synthesis. 560-570.Full Text via DOI: 10.1109/ICDCS.2013.70
-
2013A formal model for verifying stealthy attacks on state estimation in power grids. 414-419.Full Text via DOI: 10.1109/SmartGridComm.2013.6687993
-
2013Energy efficient navigation management for hybrid electric vehicles on highways. 21-30.Full Text via DOI: 10.1109/ICCPS.2013.6603996
-
2013A game-theoretic approach for deceiving remote operating system fingerprinting. 73-81.Full Text via DOI: 10.1109/CNS.2013.6682694
-
2012Secure distributed solution for optimal energy consumption scheduling in smart grid. 279-286.Full Text via DOI: 10.1109/TrustCom.2012.252
-
2012SmartAnalyzer: A noninvasive security threat analyzer for AMI smart grid. 2255-2263.Full Text via DOI: 10.1109/INFCOM.2012.6195611
-
2011AMIAnalyzer: Security analysis of AMI configurationsFull Text via DOI: 10.1109/SafeConfig.2011.6111662
-
2011A declarative approach for global network security configuration verification and evaluation. 531-538.Full Text via DOI: 10.1109/INM.2011.5990556
-
2009A two-layer hierarchical permission based mutual exclusion algorithm. 25-31.Full Text via DOI: 10.1109/ICCIT.2009.5407172
-
-
Proceedings Paper
-
2020On Incentive Compatible Role-based Reward Distribution in Algorand. 2020 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2020). 452-463.Full Text via DOI: 10.1109/DSN48063.2020.00059 Web of Science: 000617924900039
-
2019A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study. 2019 15TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM).Web of Science: 000552229800052
-
2019A Game-Theoretic Analysis of Pricing Competition between Aggregators in V2G Systems. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 549-558.Full Text via DOI: 10.1109/COMPSAC.2019.00085 Web of Science: 000538791700074
-
2019A Signalling Game-Based Security Enforcement Mechanism for SDN Controllers. 2019 10TH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT).Web of Science: 000525828100339
-
2019DroidPatrol: A Static Analysis Plugin For Secure Mobile Software Development. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 565-569.Full Text via DOI: 10.1109/COMPSAC.2019.00087 Web of Science: 000538791700076
-
2019False Data Injection Attacks against Contingency Analysis in Power Grids. PROCEEDINGS OF THE 2019 CONFERENCE ON SECURITY AND PRIVACY IN WIRELESS AND MOBILE NETWORKS (WISEC '19). 343-344.Full Text via DOI: 10.1145/3317549.3326323 Web of Science: 000477981300058
-
2019Hands-on File Inclusion Vulnerablity and Proactive Control for Secure Software Development. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 604-609.Full Text via DOI: 10.1109/COMPSAC.2019.10274 Web of Science: 000538781300100
-
2019HealthGuard: A Machine Learning-Based Security Framework for Smart Healthcare Systems. 2019 SIXTH INTERNATIONAL CONFERENCE ON SOCIAL NETWORKS ANALYSIS, MANAGEMENT AND SECURITY (SNAMS). 389-396.Web of Science: 000526061400057
-
2019LIPs: A Protocol for Leadership Incentives for Heterogeneous and Dynamic Platoons. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 535-544.Full Text via DOI: 10.1109/COMPSAC.2019.00082 Web of Science: 000538791700071
-
2019Safety Analysis of AMI Networks through Smart Fraud Detection. 2019 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS).Web of Science: 000502733200028
-
2019Study of Smart Grid Protection Challenges with High Photovoltaic Penetration. 2019 51ST NORTH AMERICAN POWER SYMPOSIUM (NAPS).Web of Science: 000553797300111
-
2016Mitigating Crossfire Attacks using SDN-based Moving Target Defense. 2014 IEEE 39TH CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN). 627-630.Full Text via DOI: 10.1109/LCN.2016.108 Web of Science: 000391436100100
-
Research
research interests
- Cyber and Cyber-physical systems security, aritifical intelligence-based analytics; cybersecurity
Teaching
teaching activities
- CNT4165-U01: Network Protocols for Internet of Things Fall Term 2019
- EEL6905-U22: Individual Work Fall Term 2019
- EEL6905-U26: Individual Work Spring Term 2019
Contact
full name
- Mohammad Rahman
