Profils utilisateurs correspondant à "Vittoria Nardone"
Vittoria NardoneUniversity of Sannio Adresse e-mail validée de unisannio.it Cité 1532 fois |
Diabetes mellitus affected patients classification and diagnosis through machine learning techniques
Medical studies demonstrated that diabetes pathology is increasing in last decades and the
trend do not tends to stop. In order to help and to accelerate the diagnosis of diabetes in this …
trend do not tends to stop. In order to help and to accelerate the diagnosis of diabetes in this …
Ransomware steals your phone. formal methods rescue it
Ransomware is a recent type of malware which makes inaccessible the files or the device of
the victim. The only way to unlock the infected device or to have the keys for decrypting the …
the victim. The only way to unlock the infected device or to have the keys for decrypting the …
Human behavior characterization for driving style recognition in vehicle system
Despite the development of new technologies in order to prevent the stealing of cars, the
number of car thefts is sharply increasing. With the advent of electronics, new ways to steal cars …
number of car thefts is sharply increasing. With the advent of electronics, new ways to steal cars …
Car hacking identification through fuzzy logic algorithms
Modern vehicles have lots of connectivity, this is the reason why protect in-vehicle network
from cyber-attacks becomes an important issue. The Controller Area Network is a de facto …
from cyber-attacks becomes an important issue. The Controller Area Network is a de facto …
Talos: no more ransomware victims with formal methods
Ransomware is a very effective form of malware that is recently spreading out on an
impressive number of workstations and smartphones. This malware blocks the access to the …
impressive number of workstations and smartphones. This malware blocks the access to the …
A “pay-how-you-drive” car insurance approach through cluster analysis
As discussed in the recent literature, several innovative car insurance concepts are proposed
in order to gain advantages both for insurance companies and for drivers. In this context, …
in order to gain advantages both for insurance companies and for drivers. In this context, …
Leila: formal tool for identifying mobile malicious behaviour
With the increasing diffusion of mobile technologies, nowadays mobile devices represent an
irreplaceable tool to perform several operations, from posting a status on a social network to …
irreplaceable tool to perform several operations, from posting a status on a social network to …
Ransomware inside out
F Mercaldo, V Nardone… - 2016 11th International …, 2016 - ieeexplore.ieee.org
Android is currently the most widely used mobile environment. This trend encourages malware
writers to develop specific attacks targeting this platform with threats designed to covertly …
writers to develop specific attacks targeting this platform with threats designed to covertly …
[PDF][PDF] Identification of Android Malware Families with Model Checking.
Android malware is increasing more and more in complexity. Current signature based
antimalware mechanisms are not able to detect zero-day attacks, also trivial code transformations …
antimalware mechanisms are not able to detect zero-day attacks, also trivial code transformations …
Download malware? no, thanks: how formal methods can block update attacks
In mobile malware landscape there are many techniques to inject malicious payload in a
trusted application: one of the most common is represented by the so-called update attack. After …
trusted application: one of the most common is represented by the so-called update attack. After …