Automated synthesis of resiliency configurations for cyber networks. - Mohammad Ashiqur Rahman; Abdullah Al Farooq; Amarjit Datta; Ehab Al-Shaer (CNS, 2016)

Cyber Threat Analysis Framework for the Wind Energy Based Power System. - Amarjit Datta; Mohammad Ashiqur Rahman (CPS-SPC@CCS, 2017)

Optimal Deployment of Charging Stations for Electric Vehicles: A Formal Approach. - Amarjit Datta; Brian K. Ledbetter; Mohammad Ashiqur Rahman (ICDCS Workshops, 2017)

Chained of Things: A Secure and Dependable Design of Autonomous Vehicle Services. - Md. Golam Moula Mehedi Hasan; Amarjit Datta; Mohammad Ashiqur Rahman; Hossain Shahriar (COMPSAC (2), 2018)

Poster Abstract: Chained of Things: A Secure and Dependable Design of Autonomous Vehicle Services. - Md. Golam Moula Mehedi Hasan; Amarjit Datta; Mohammad Ashiqur Rahman (IoTDI, 2018)

Security design against stealthy attacks on power system state estimation: A formal approach. - Mohammad Ashiqur Rahman; Amarjit Datta; Ehab Al-Shaer (Comput. Secur., 2019)

WTC^2: Impact-Aware Threat Analysis for Water Treatment Centers. - Amarjit Datta; Mohammad Ashiqur Rahman; Hossain Shahriar (COMPSAC, 2020)

Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis. - Mohammad Ashiqur Rahman; Amarjit Datta (IEEE Trans. Dependable Secur. Comput., 2020)

Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. - Mohammad Ashiqur Rahman; Amarjit Datta; Ehab Al-Shaer (EAI Endorsed Trans. Security Safety, 2021)