Ashiqur Rahman, Mohammad, Amarjit Datta, and Ehab Al-Shaer. 2021. “Automated Configuration Synthesis for Resilient Smart Metering Infrastructure”. EAI Endorsed Transactions on Security and Safety 8 (28):e4. https://doi.org/10.4108/eai.10-9-2021.170948.