2 papers
cs.OS2025
A Survey of Fuzzing Open-Source Operating Systems
Kun Hu, Qicai Chen, Wenzhuo Zhang +7
Vulnerabilities in open-source operating systems (OSs) pose substantial security risks to software systems, making their detection crucial. While fuzzing has been an effective vuln…
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…