collaborators

1 paper

cs.SE2023

EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things

Bingkun Sun, Liwei Shen, Jialin Ren +3

Web of Things (WoT) technology facilitates the standardized integration of IoT devices ubiquitously deployed in daily environments, promoting diverse WoT applications to automatica…