Bingkun Sun, Jialin Ren, Juntao Luo, Liwei Shen, Yongqiang Lu 0007, Qicai Chen, Zhen Dong, Xin Peng 0001. EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System. In Hong Mei 0001, Jian Lv 0001, Zhi Jin 0001, Xuandong Li, Thomas Zimmermann 0001, Ge Li 0001, Lei Bu, Xin Xia 0001, editors, Proceedings of the 16th International Conference on Internetware, Internetware 2025, Trondheim, Norway, June 20-22, 2025. pages 545-557, ACM, 2025. [doi]
@inproceedings{SunRLS0CD025,
title = {EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System},
author = {Bingkun Sun and Jialin Ren and Juntao Luo and Liwei Shen and Yongqiang Lu 0007 and Qicai Chen and Zhen Dong and Xin Peng 0001},
year = {2025},
doi = {10.1145/3755881.3755922},
url = {https://doi.org/10.1145/3755881.3755922},
researchr = {https://researchr.org/publication/SunRLS0CD025},
cites = {0},
citedby = {0},
pages = {545-557},
booktitle = {Proceedings of the 16th International Conference on Internetware, Internetware 2025, Trondheim, Norway, June 20-22, 2025},
editor = {Hong Mei 0001 and Jian Lv 0001 and Zhi Jin 0001 and Xuandong Li and Thomas Zimmermann 0001 and Ge Li 0001 and Lei Bu and Xin Xia 0001},
publisher = {ACM},
isbn = {979-8-4007-1926-4},
}