In this paper, we propose SHChecker, a novel threat analysis framework that integrates machine learning and formal analysis capabilities to identify potential attacks and corresponding effects on an IoMT-based SHS.
The uniqueness of UAVs in systems creates a novel set of trajectory or path planning and coordination problems.
In this paper, we introduce a new type of adversarial attacks to exploit the ML classifiers used in a SHS.
Smart grid (SG) is a complex cyber-physical system that utilizes modern cyber and physical equipment to run at an optimal operating point.
Furthermore, we show that it is beneficial to leverage the weather station data from multiple neighboring areas over the data of only the area for which weather forecasting is being performed.
To defend against these attacks, intrusion detection system (IDS) has been widely used.
To overcome this, committee-based approaches (e. g., Elastico) that partition the outstanding transaction set into shards and (randomly) select multiple committees to process these transactions in parallel have been proposed and have become very popular.
Cryptography and Security