@article{a3aac70c3d6149dcb2204267c27ee72f,
title = "IoTCOM: Dissecting Interaction Threats in IoT Systems",
keywords = "Actuators, Behavioral sciences, Formal Verification, Interaction Threats, Internet of Things, IoT Safety, Safety, Security, Smart homes, Taxonomy",
author = "Mohannad Alhanahnah and Clay Stevens and Bocheng Chen and Qiben Yan and Hamid Bagheri",
note = "Publisher Copyright: IEEE",
year = "2022",
month = may,
day = "31",
doi = "10.1109/TSE.2022.3179294",
language = "English",
pages = "1",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers",
}