100 citations · 143 across the 6 of their papers we have counts for
6 papers
Optimisation of cyber insurance coverage with selection of cost effective security controls
Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli +1
Nowadays, cyber threats are considered among the most dangerous risks by top management of enterprises. One way to deal with these risks is to insure them, but cyber insurance is s…
alurity, a toolbox for robot cybersecurity
Víctor Mayoral-Vilches, Irati Abad-Fernández, Martin Pinzger +8
The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Gi…
Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots
Francesco Restuccia, Andrea Saracino, Fabio Martinelli
The reliability of information in participatory sensing (PS) systems largely depends on the accuracy of the location of the participating users. However, existing PS applications a…
On the Effectiveness of System API-Related Information for Android Ransomware Detection
Michele Scalas, Davide Maiorca, Francesco Mercaldo +3
Ransomware constitutes a significant threat to the Android operating system. It can either lock or encrypt the target devices, and victims are forced to pay ransoms to restore thei…
Semiring-based Specification Approaches for Quantitative Security
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which…
Metric-Aware Secure Service Orchestration
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
Secure orchestration is an important concern in the internet of service. Next to providing the required functionality the composite services must also provide a reasonable level of…