Ashiqur Rahman, M. , Datta, A. and Al-Shaer, E. 2021. Automated Configuration Synthesis for Resilient Smart Metering Infrastructure. EAI Endorsed Transactions on Security and Safety. 8, 28 (Sep. 2021), e4. DOI:https://doi.org/10.4108/eai.10-9-2021.170948.