32 citations · 50 across the 5 of their papers we have counts for
5 papers
Mitigating and Analysis of Memory Usage Attack in IoE System
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
Internet of Everything (IoE) is a newly emerging trend, especially in homes. Marketing forces toward smart homes are also accelerating the spread of IoE devices in households. An o…
Detection of Energy Consumption Cyber Attacks on Smart Devices
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
With the rapid development of Internet of Things (IoT) technology, intelligent systems are increasingly integrating into everyday life and people's homes. However, the proliferatio…
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
The Internet of Things (IoT) has garnered significant interest in both research and industry due to its profound impact on human life. The rapid expansion of IoT technology has ush…
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properti…
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equival…