Verifying Internet of Things Safety and Security in Physical Spaces
Z. Berkay Celik, Patrick Drew McDaniel, Gang Tan, Leonardo Babun, Arif Selcuk Uluagac · IEEE Security & Privacy · 2019
Concerns about safety and security have led to questions about the risk of embracing the Internet of Things (IoT). We consider the needs and techniques for verifying the correct operation of IoT devices and environments within the physical spaces they inhabit.