activity
20152026
most citedState Machine Mutation-based Testing Framework for Wireless Communication Protocols

6 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.CR2023

VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime

Akib Jawad Nafis, S Mahmudul Hasan, Omar Chowdhury +1

Smart homes, powered by programmable IoT platforms, often face safety and security issues. A class of defense solutions dynamically enforces policies that capture the expected beha…

cs.CR2023

MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime

M. Hammad Mazhar, Li Li, Endadul Hoque +1

Many solutions have been proposed to curb unexpected behavior of automation apps installed on programmable IoT platforms by enforcing safety policies at runtime. However, all prior…