P3CRID: A Threat Model Methodology for Smart Homes. - Kulkarni, Shruti; Mylonas, Alexios; Vidalis, Stilianos (Algorithms, 2026)