More Like this

1. Home, Safehome: smart home reliability with visibility and atomicity

   https://doi.org/10.1145/3447786.3456261  

   Ahsan, Shegufta B.; Yang, Rui; Noghabi, Shadi A.; Gupta, Indranil (April 2021, EuroSys '21: Proceedings of the Sixteenth European Conference on Computer Systems)

   null (Ed.)

   Smart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes when users or triggers initiate routines (i.e., a sequence of commands), concurrent routines and device failures can cause incongruent outcomes. We describe SafeHome, a system that provides notions of atomicity and serial equivalence for smart homes. Due to the human-facing nature of smart homes, SafeHome offers a spectrum of visibility models which trade off between responsiveness vs. isolation of the smart home. We implemented SafeHome and performed workload-driven experiments. We find that a weak visibility model, called eventual visibility, is almost as fast as today's status quo (up to 23% slower) and yet guarantees serially-equivalent end states. 

   more » « less
2. Your Home is Insecure: Practical Attacks on Wireless Home Alarm Systems

   https://doi.org/10.1109/INFOCOM42981.2021.9488873  

   Li, Tao; Han, Dianqi; Li, Jiawei; Li, Ang; Zhang, Yan; Zhang, Rui; Zhang, Yanchao (May 2021, IEEE INFOCOM 2021 - IEEE Conference on Computer Communications)

   null (Ed.)
3. Home, SafeHome: Ensuring a Safe and Reliable Home Using the Edge

   Shegufta Bakht Ahsan, Rui Yang (July 2019, Proceedings Usenix Workshop on Hot Topics in Edge Computing (HotEdge) 2019)

   As smart home environments get more complex and denser, they are becoming harder to manage. We present our ongoing work on the design and implementation of ``SafeHome'', a system for management and coordination inside a smart home. SafeHome offers users and programmers the flexibility to specify safety properties in a declarative way, and to specify routines of commands in an imperative way. SafeHome includes mechanisms which ensure that under concurrent routines and device failures, the smart home behavior is consistent (e.g., serializable) and safety properties are always guaranteed. SafeHome is intended to run on edge machines co-located with the smart home. Our design space opens the opportunity to borrow and adapt rich ideas and mechanisms from related areas such as databases and compilers. Paper available (Open Access) at: https://www.usenix.org/conference/hotedge19/presentation/ahsan 

   more » « less
4. Smart Home Beyond the Home: A Case for Community-Based Access Control

   https://doi.org/10.1145/3313831.3376255  

   Tabassum, Madiha; Kropczynski, Jess; Wisniewski, Pamela; Lipford, Heather Richter (April 2020, 2020 ACM Conference on Human Factors in Computing Systems)
5. Detection of Anomalous User Activity for Home IoT Devices [Detection of Anomalous User Activity for Home IoT Devices]

   https://doi.org/10.5220/0010476503090314  

   Bhosale, Vishwajeet; de Carli, Lorenzo; Ray, Indrakshi (January 2021, 6th International Conference on Internet of Things, Big Data and Security (IoTBDS))