… to model and analyze energy resources exhaustion attacks, including analysis of possible
types of attacks on cyber-physical devices, an intruder model and … and evaluation of attacks. …

… are also widely researched to affect the control plane, among which the packet-in messages
are often abused to launch resource exhaustion attacks against switches and controllers [14]…

… attack detection algorithm is executed on per Requester basis on the Backend. For the formal
… EWMA algorithms for detecting and throttling battery exhaustion attacks through simulation…

… [9] introduce a catalog of so called ‘spoiled patterns’ and automatically detect them in
architecture models. To this aim, they extend an existing OWL ontology. Their approach suggests …

… Comparing to the above mentioned work in our study we first formally model and verify
different IoT threats and then automatically execute the attack on IoT devices with minimal human …

… attack from existing literature. In [31] a DoS attack is viewed as “the resource exhaustion
attack… instances of a protocol, causes a victim to exhaust his resources”. According to [9], a DoS “…

… We showcase our modelling approach in the scenario of a power supplier (eg power plant)
… We demonstrate how our modelling approach can quantify the impact of a botnet attack and …

… transient execution attacks and uses them to evaluate the feasibility of the different attacks.
This survey especially considers both existing attacks and potential new attacks suggested by …

… ; 2) We propose to use protocol fuzzing to automatically generate high-quality network traffic
… is resource exhaustion DoS attacks. The network traffic can be used to detect such attacks, …

… This demonstrates that: not all software-based vulnerabilities can be reproduced in hardware;
prior conjectures on the fault model for electromagnetic pulse attacks may not be accurate; …