Profils utilisateurs correspondant à "Vittoria Nardone"

Vittoria Nardone

University of Sannio
Adresse e-mail validée de unisannio.it
Cité 1532 fois

Diabetes mellitus affected patients classification and diagnosis through machine learning techniques

F Mercaldo, V Nardone, A Santone - Procedia computer science, 2017 - Elsevier
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 …

Ransomware steals your phone. formal methods rescue it

F Mercaldo, V Nardone, A Santone… - … 2016, Held as Part of the …, 2016 - Springer
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 …

Human behavior characterization for driving style recognition in vehicle system

F Martinelli, F Mercaldo, A Orlando, V Nardone… - Computers & Electrical …, 2020 - Elsevier
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 …

Car hacking identification through fuzzy logic algorithms

F Martinelli, F Mercaldo, V Nardone… - … conference on fuzzy …, 2017 - ieeexplore.ieee.org
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 …

Talos: no more ransomware victims with formal methods

A Cimitile, F Mercaldo, V Nardone, A Santone… - International Journal of …, 2018 - Springer
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 …

A “pay-how-you-drive” car insurance approach through cluster analysis

MF Carfora, F Martinelli, F Mercaldo, V Nardone… - Soft Computing, 2019 - Springer
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, …

Leila: formal tool for identifying mobile malicious behaviour

…, F Martinelli, F Mercaldo, V Nardone… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
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 …

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 …

[PDF][PDF] Identification of Android Malware Families with Model Checking.

P Battista, F Mercaldo, V Nardone, A Santone… - ICISSP, 2016 - scitepress.org
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 …

Download malware? no, thanks: how formal methods can block update attacks

F Mercaldo, V Nardone, A Santone… - Proceedings of the 4th …, 2016 - dl.acm.org
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 …