RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection

Detecting kinetic vulnerabilities in Cyber-Physical Systems CPS, vulnerabilities in control code that can precipitate hazardous physical consequences, is a critical challenge. This task is complicated by the need to analyze the intricate coupling between complex software behavior and the system's...

Kingspan TMS 300 CS 授权问题漏洞

Kingspan TMS 300 CS is a water tank management system from Kingspan. Kingspan TMS 300 CS has an authorization issue vulnerability that stems from its lack of adequate access control rules, which allows an attacker to view and modify application settings by accessing a specific Uniform Resource...