SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios - Tao, Ci; He, Shuai; Shen, Xingqiu (Sensors (Basel, Switzerland), 2025)
Keywords: Automation; Blockchain; blockchain security; industrial control systems; Large language models; Logic; Ontology; Semantics; Smart contracts; vulnerability detection; industrial control systems; blockchain security; vulnerability detection; smart contracts