Helion: Enabling Natural Testing of Smart Homes-Reference-Cited by-同舟云学术

Helion: Enabling Natural Testing of Smart Homes

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Mandal Prianka¹,Manandhar Sunil²,Kafle Kaushal¹,Moran Kevin³,Poshyvanyk Denys¹,Nadkarni Adwait¹

Affiliation:

1. William & Mary, Williamsburg, USA

2. IBM Research, Yorktown Heights, USA

3. University of Central Florida, Orlando, USA

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3613095

Reference17 articles.

1. 2023. Implementation of on Home Assistant. https://github.com/Secure-Platforms-Lab-W-M/Helion-on-Home-Assistant 2023. Implementation of on Home Assistant. https://github.com/Secure-Platforms-Lab-W-M/Helion-on-Home-Assistant

2. Z. Berkay Celik , Patrick McDaniel , and Gang Tan . 2018 . Soteria: Automated IoT Safety and Security Analysis. In 2018 USENIX Annual Technical Conference (USENIX ATC). 147–158 . Z. Berkay Celik, Patrick McDaniel, and Gang Tan. 2018. Soteria: Automated IoT Safety and Security Analysis. In 2018 USENIX Annual Technical Conference (USENIX ATC). 147–158.

3. Z. Berkay Celik , Gang Tan , and Patrick McDaniel . 2019 . IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In 2019 NDSS Symposium. To appear. Z. Berkay Celik, Gang Tan, and Patrick McDaniel. 2019. IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In 2019 NDSS Symposium. To appear.

4. Stanley F Chen and Joshua Goodman . 1999. An empirical study of smoothing techniques for language modeling. Computer Speech & Language, 13, 4 ( 1999 ). Stanley F Chen and Joshua Goodman. 1999. An empirical study of smoothing techniques for language modeling. Computer Speech & Language, 13, 4 (1999).