TY - RPRT TI - A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems AU - Atheer Abu Zaid AU - Manar H. Alalfi AU - Ali Miri PY - 2022 UR - https://arxiv.org/abs/2205.11406 ID - 2205.11406 ER -