default search action
Fabio Martinelli
Person information
- affiliation: National Research Council, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j93]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Deep Convolutional Generative Adversarial Networks in Image-Based Android Malware Detection. Comput. 13(6): 154 (2024) - [j92]Boualem Benatallah, Hakim Hacid, Eleanna Kafeza, Fabio Martinelli, Athman Bouguettaya:
ICSOC 2020 special issue on service-oriented computing. Computing 106(4): 1249-1250 (2024) - [j91]Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Alzheimer's Disease Evaluation Through Visual Explainability by Means of Convolutional Neural Networks. Int. J. Neural Syst. 34(2): 2450007:1-2450007:15 (2024) - [j90]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Ransomware Detection with Deep Learning Techniques. J. Comput. Virol. Hacking Tech. 20(2): 317-330 (2024) - [j89]Rosangela Casolare, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Picker Blinder: a framework for automatic injection of malicious inter-app communication. J. Comput. Virol. Hacking Tech. 20(2): 331-346 (2024) - [c363]Panagiotis Bountakas, Konstantinos Fysarakis, Thomas Kyriakakis, Panagiotis Karafotis, Aristeidis Sotiropoulos, Maria Tasouli, Cristina Alcaraz, George Alexandris, Vassiliki Andronikou, Tzortzia Koutsouri, Romarick Yatagha, George Spanoudakis, Sotiris Ioannidis, Fabio Martinelli, Oleg Illiashenko:
SYNAPSE - An Integrated Cyber Security Risk & Resilience Management Platform, With Holistic Situational Awareness, Incident Response & Preparedness Capabilities: SYNAPSE. ARES 2024: 128:1-128:10 - [c362]Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Detecting Retinal Fundus Image Synthesis by Means of Generative Adversarial Network. BIOSTEC (1) 2024: 471-478 - [c361]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
DroidDefender: An Image-based Android Antimalware Proof-of-Concept. CODASPY 2024: 139-141 - [c360]Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone:
Security Policy Generation and Verification through Large Language Models: A Proposal. CODASPY 2024: 143-145 - [c359]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating the Impact of Generative Adversarial Network in Android Malware Detection. ENASE 2024: 590-597 - [c358]Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Spiral Drawing Test and Explainable Convolutional Neural Networks for Parkinson's Disease Detection. ICAART (2) 2024: 443-452 - [c357]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone:
An Approach for Privacy-Preserving Mobile Malware Detection Through Federated Machine Learning. ICEIS (1) 2024: 553-563 - [c356]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone:
Cybersecurity-Related Tweet Classification by Explainable Deep Learning. ICISSP 2024: 438-445 - [c355]Zhou Zhou, Zahra Pooranian, Mohammad Shojafar, Fabio Martinelli:
An Edge Server Deployment Strategy for Multi-Objective Optimization in the Internet of Vehicles. ISCC 2024: 1-6 - [c354]Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Leveraging Deep Learning for Intrusion Detection in IoT Through Visualized Network Data. SECRYPT 2024: 722-729 - [c353]Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
On the Adoption of Explainable Deep Learning for Image-Based Network Traffic Classification. SIMULTECH 2024: 370-377 - 2023
- [j88]Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
TriAD: A Deep Ensemble Network for Alzheimer Classification and Localization. IEEE Access 11: 91969-91980 (2023) - [j87]Oleksii Osliak, Andrea Saracino, Fabio Martinelli, Paolo Mori:
Cyber threat intelligence for critical infrastructure security. Concurr. Comput. Pract. Exp. 35(23) (2023) - [j86]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
A deep-learning approach to game bot identification via behavioural features analysis in complex massively-cooperative environments. Int. J. Data Min. Model. Manag. 15(1): 1-29 (2023) - [j85]Francesco Mercaldo, Marcello Di Giammarco, Arianna Apicella, Giacomo Iadarola, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Diabetic retinopathy detection and diagnosis by means of robust and explainable convolutional neural networks. Neural Comput. Appl. 35(23): 17429-17441 (2023) - [j84]Sandeep Gupta, Carsten Maple, Bruno Crispo, Kiran B. Raja, Artsiom Yautsiukhin, Fabio Martinelli:
A survey of human-computer interaction (HCI) & natural habits-based behavioural biometric modalities for user recognition schemes. Pattern Recognit. 139: 109453 (2023) - [j83]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Water Meter Reading for Smart Grid Monitoring. Sensors 23(1): 75 (2023) - [j82]Francesco Mercaldo, Luca Brunese, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation. Sensors 23(17): 7614 (2023) - [j81]Meng Li, Yifei Chen, Chhagan Lal, Mauro Conti, Fabio Martinelli, Mamoun Alazab:
Nereus: Anonymous and Secure Ride-Hailing Service Based on Private Smart Contracts. IEEE Trans. Dependable Secur. Comput. 20(4): 2849-2866 (2023) - [j80]Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci:
A Privacy-Preserving Solution for Intelligent Transportation Systems: Private Driver DNA. IEEE Trans. Intell. Transp. Syst. 24(1): 258-273 (2023) - [c352]Francesco Mercaldo, Giovanni Ciaramella, Antonella Santone, Fabio Martinelli:
Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning. ARES 2023: 79:1-79:10 - [c351]Marco De Vincenzi, Ilaria Matteucci, Fabio Martinelli, Stefano Sebastio:
Application of Secure Two-Party Computation in a Privacy-Preserving Android App. ARES 2023: 144:1-144:7 - [c350]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Proposal for Trustworthy Artificial Intelligence. IEEE Big Data 2023: 1-3 - [c349]Fabio Martinelli, Francesco Mercaldo, Marcello Di Giammarco, Antonella Santone:
Data Poisoning Attacks over Diabetic Retinopathy Images Classification. IEEE Big Data 2023: 3698-3703 - [c348]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Deep Learning for Smart Grid Stability Detection. IEEE Big Data 2023: 3763-3769 - [c347]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Driver Detection Method by Means of Explainable Deep Learning. CSR 2023: 54-59 - [c346]Luca Degani, Majid Salehi, Fabio Martinelli, Bruno Crispo:
μIPS: Software-Based Intrusion Prevention for Bare-Metal Embedded Systems. ESORICS (4) 2023: 311-331 - [c345]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection. FUZZ 2023: 1-6 - [c344]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model. FUZZ 2023: 1-7 - [c343]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection. FUZZ 2023: 1-7 - [c342]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
An Explainable Convolutional Neural Network for Dynamic Android Malware Detection. ICISSP 2023: 305-312 - [c341]Daniele Albanese, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone:
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation. ICISSP 2023: 741-748 - [c340]Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis. ICMLA 2023: 2207-2213 - [c339]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Exploring Quantum Machine Learning for Explainable Malware Detection. IJCNN 2023: 1-6 - [c338]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Damage Detection and Localisation using UAV/ Drone with Object Detection. KES 2023: 118-127 - [c337]Mario Cesarelli, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Deep Learning for Face Mask Detection. KES 2023: 128-133 - [c336]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Object Detection and Localisation in Thermal Images by means of UAV/Drone. KES 2023: 2234-2243 - [c335]Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning. SECRYPT 2023: 385-393 - [c334]Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci:
Electric Vehicle Security and Privacy: A Comparative Analysis of Charging Methods. VTC2023-Spring 2023: 1-7 - [i13]Daniele Albanese, Giuseppe Crincoli, Marco De Vincenzi, Giacomo Iadarola, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. ERCIM News 2023(133) (2023) - 2022
- [j79]Giacomo Giorgi, Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino:
Exploiting If This Then That and Usage Control obligations for Smart Home security and management. Concurr. Comput. Pract. Exp. 34(16) (2022) - [j78]Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra:
Privacy preserving data sharing and analysis for edge-based architectures. Int. J. Inf. Sec. 21(1): 79-101 (2022) - [j77]Sandeep Gupta, Kiran B. Raja, Fabio Martinelli, Bruno Crispo:
RiderAuth: A cancelable touch-signature based rider authentication scheme for driverless taxis. J. Inf. Secur. Appl. 71: 103357 (2022) - [j76]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23(6): 5625-5637 (2022) - [j75]Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone:
2Faces: a new model of malware based on dynamic compiling and reflection. J. Comput. Virol. Hacking Tech. 18(3): 215-230 (2022) - [c333]Giovanni Ciaramella, Giacomo Iadarola, Francesco Mercaldo, Marco Storto, Antonella Santone, Fabio Martinelli:
Introducing Quantum Computing in Mobile Malware Detection. ARES 2022: 88:1-88:8 - [c332]Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Fabrizio Ravelli, Antonella Santone:
Explainable Deep Learning for Alzheimer Disease Classification and Localisation. AII 2022: 129-143 - [c331]Francesco Mercaldo, Xiaoli Zhou, Pan Huang, Fabio Martinelli, Antonella Santone:
Machine Learning for Uterine Cervix Screening. BIBE 2022: 71-74 - [c330]Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification. BIBE 2022: 75-78 - [c329]Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Blood Cells Counting and Localisation through Deep Learning Object Detection. IEEE Big Data 2022: 4400-4409 - [c328]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Smart Grid monitoring through Deep Learning for Image-based Automatic Dial Meter Reading. IEEE Big Data 2022: 4534-4542 - [c327]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning: A Proposal. IEEE Big Data 2022: 6628-6630 - [c326]Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Vulnerable Smart Contract Detection by Means of Model Checking. BSCI 2022: 3-10 - [c325]Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Emotion Recognition from Facial Expression using Explainable Deep Learning. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c324]Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet:
Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 666-685 - [c323]Marcello Di Giammarco, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Explainable Deep Learning Methodologies for Biomedical Images Classification. ICDCS 2022: 1262-1264 - [c322]Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Designing Robust Deep Learning Classifiers for Image-based Malware Analysis. ICDCS 2022: 1265-1267 - [c321]Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P.:
On the Influence of Image Settings in Deep Learning-based Malware Detection. ICISSP 2022: 669-676 - [c320]Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tavone:
COVID-19 Detection from Cough Recording by means of Explainable Deep Learning. ICMLA 2022: 1702-1707 - [c319]Giovanni Ciaramella, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning. ICMLA 2022: 1791-1798 - [c318]Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping. IJCNN 2022: 1-8 - [c317]Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tommasone:
On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection. KES 2022: 145-157 - [c316]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Intrusion Detection in Smart Grid. KES 2022: 327-334 - [c315]Giovanni Lacava, Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Pizzi:
Drone Audio recognition based on Machine Learning Techniques. KES 2022: 848-857 - [c314]Marcello Di Giammarco, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
High Grade Brain Cancer Segmentation by means of Deep Learning. KES 2022: 1633-1640 - [c313]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking-based Approach to Malicious Family Detection in iOS Environment. KES 2022: 1981-1991 - [c312]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata Networks for SCADA Attacks Real-Time Mitigation. KES-IDT 2022: 549-559 - [c311]Luca Degani, Francesco Bergadano, Seyed Ali Mirheidari, Fabio Martinelli, Bruno Crispo:
Generative adversarial networks for subdomain enumeration. SAC 2022: 1636-1645 - [c310]Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT 2022: 513-518 - [c309]Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone:
A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. SECRYPT 2022: 534-539 - [c308]Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps. STM 2022: 104-114 - [i12]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo:
Fighting Cybercrime by Introducing Trustworthiness and Interpretability in Deep Learning Malware Detection. ERCIM News 2022(129): 0 (2022) - 2021
- [j74]Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli, Fabio Massacci:
Optimisation of cyber insurance coverage with selection of cost effective security controls. Comput. Secur. 101: 102121 (2021) - [j73]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. 105: 102198 (2021) - [j72]Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(1): 44-63 (2021) - [j71]Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Andrea Saracino, Antonio La Marra, Endika Gil-Uriarte, Victor Mayoral Vilches:
Cybsersecurity Issues in Robotics. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(3): 1-28 (2021) - [j70]Meng Li, Liehuang Zhu, Zijian Zhang, Chhagan Lal, Mauro Conti, Fabio Martinelli:
Privacy for 5G-Supported Vehicular Networks. IEEE Open J. Commun. Soc. 2: 1935-1956 (2021) - [j69]Giacomo Giorgi, Andrea Saracino, Fabio Martinelli:
Using recurrent neural networks for continuous authentication through gait analysis. Pattern Recognit. Lett. 147: 157-163 (2021) - [j68]Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino:
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Comput. 25(3): 2295-2314 (2021) - [c307]Rosangela Casolare, Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications. ARES 2021: 51:1-51:7 - [c306]Federico Errica, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Alessio Micheli:
Robust Malware Classification via Deep Graph Networks on Call Graph Topologies. ESANN 2021 - [c305]Theo Dimitrakos, Tezcan Dilshener, Alexander Kravtsov, Antonio La Marra, Fabio Martinelli, Athanasios Rizos, Alessandro Rosetti:
Handling Meta Attribute Information in Usage Control Policies (Short Paper). ETAA 2021: 143-151 - [c304]Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli:
A Framework for Supporting Ransomware Detection and Prevention Based on Hybrid Analysis. ICCSA (3) 2021: 16-27 - [c303]Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli:
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis. ICCSA (3) 2021: 28-39 - [c302]Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli:
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis. ICCSA (3) 2021: 353-365 - [c301]Oleksii Osliak, Andrea Saracino, Fabio Martinelli, Theo Dimitrakos:
Towards Collaborative Cyber Threat Intelligence for Security Management. ICISSP 2021: 339-346 - [c300]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP 2021: 811-818 - [c299]Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone:
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. IJCNN 2021: 1-8 - [c298]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. IJCNN 2021: 1-5 - [c297]Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo:
Perturbation of Image-based Malware Detection with Smali level morphing techniques. ISPA/BDCloud/SocialCom/SustainCom 2021: 1651-1656 - [c296]Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. KES 2021: 1659-1669 - [c295]Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. KES 2021: 2340-2346 - [c294]Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone:
Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. KES 2021: 2440-2449 - [c293]Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. KES 2021: 3320-3331 - [c292]Xuan Sun, Luqun Li, Francesco Mercaldo, Yichen Yang, Antonella Santone, Fabio Martinelli:
Automated Intention Mining with Comparatively Fine-tuning BERT. NLPIR 2021: 157-162 - [c291]Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Mobile Family Detection through Audio Signals Classification. SECRYPT 2021: 479-486 - [p4]Steven Furnell, Paul S. Haskell-Dowland, Manish Agrawal, Richard L. Baskerville, Anirban Basu, Matt Bishop, Jorge Cuéllar, Sara Foresti, Lynn Futcher, Nurit Gal-Oz, Tejaswini (Teju) Herath, Christian Damsgaard Jensen, Allen C. Johnston, Wouter Joosen, Giovanni Livraga, Javier López, Stephen Marsh, Fabio Martinelli, Fabio Massacci, Aljosa Pasic, Stef Schinagl, Abbas Shahim, Kerry-Lynn Thomson, Jaideep Vaidya, Tony Vance, Merrill Warkentin:
Information Security and Privacy - Challenges and Outlook. IFIP's Exciting First 60+ Years 2021: 383-401 - 2020
- [j67]Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah:
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020) - [j66]Barbara Martini, Paolo Mori, Francesco Marino, Andrea Saracino, Alessio Lunardelli, Antonio La Marra, Fabio Martinelli, Piero Castoldi:
Pushing Forward Security in Network Slicing by Leveraging Continuous Usage Control. IEEE Commun. Mag. 58(7): 65-71 (2020) - [j65]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j64]Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra, Mohammed Mejri, Nadia Tawbi:
Digital Waste Disposal: an automated framework for analysis of spam emails. Int. J. Inf. Sec. 19(5): 499-522 (2020) - [j63]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. 11(6): 304 (2020) - [j62]Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone:
Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. 50 (2020) - [j61]Gabriele Baldi, Yair Diaz-Tellez, Theo Dimitrakos, Fabio Martinelli, Christina Michailidou, Paolo Mori, Oleksii Osliak, Andrea Saracino:
Session-dependent Usage Control for Big Data. J. Internet Serv. Inf. Secur. 10(3): 76-92 (2020) - [j60]Antonio La Marra, Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Mina Sheikhalishahi:
D-BRIDEMAID: A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 11(3): 1-28 (2020) - [j59]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [j58]Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi:
LoSeRO: A Locality Sensitive Routing Protocol in Opportunistic Networks with Contact Profiles. IEEE Trans. Mob. Comput. 19(10): 2392-2408 (2020) - [c290]Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
VisualDroid: automatic triage and detection of Android repackaged applications. ARES 2020: 50:1-50:7 - [c289]Fabio Martinelli, Oleksii Osliak, Paolo Mori, Andrea Saracino:
Improving security in industry 4.0 by extending OPC-UA with usage control. ARES 2020: 96:1-96:10 - [c288]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786 - [c287]Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone:
Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops 2020: 890-901 - [c286]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops 2020: 959-969 - [c285]Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA 2020: 1368-1382 - [c284]Michela Fazzolari, Manuel Pratelli, Fabio Martinelli, Marinella Petrocchi:
Emotions and Interests of Evolving Twitter Bots. EAIS 2020: 1-8 - [c283]Fabio Martinelli, Christina Michailidou, Oleksii Osliak, Alessandro Rosetti, Antonio La Marra, Theo Dimitrakos:
A Comparison Among Policy Editors for Attributed Based Access Control Model. ETAA@ESORICS 2020: 108-123 - [c282]Giacomo Giorgi, Andrea Saracino, Fabio Martinelli:
Email Spoofing Attack Detection through an End to End Authorship Attribution System. ICISSP 2020: 64-74 - [c281]Giacomo Giorgi, Andrea Saracino, Fabio Martinelli:
End to End Autorship Email Verification Framework for a Secure Communication. ICISSP (Revised Selected Papers) 2020: 73-96 - [c280]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP 2020: 804-814 - [c279]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP 2020: 825-834 - [c278]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Bank Credit Risk Management based on Data Mining Techniques. ICISSP 2020: 837-843 - [c277]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN 2020: 1-6 - [c276]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone:
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN 2020: 1-8 - [c275]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS 2020: 499-506 - [c274]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops 2020: 255-260 - [c273]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep learning for heart disease detection through cardiac sounds. KES 2020: 2202-2211 - [c272]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine learning for coronavirus covid-19 detection from chest x-rays. KES 2020: 2212-2221 - [c271]Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli:
A Deep-Learning-Based Framework for Supporting Analysis and Detection of Attacks on CAN Buses. KES 2020: 2999-3008 - [c270]Theo Dimitrakos, Tezcan Dilshener, Alexander Kravtsov, Antonio La Marra, Fabio Martinelli, Athanasios Rizos, Alessandro Rosetti, Andrea Saracino:
Trust Aware Continuous Authorization for Zero Trust in Consumer Internet of Things. TrustCom 2020: 1801-1812 - [c269]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine Learning for Driver Detection through CAN bus. VTC Spring 2020: 1-5 - [e22]Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari:
Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings. Lecture Notes in Computer Science 12571, Springer 2020, ISBN 978-3-030-65309-5 [contents] - [i11]Víctor Mayoral Vilches, Irati Abad-Fernández, Martin Pinzger, Stefan Rass, Bernhard Dieber, Alcino Cunha, Francisco J. Rodríguez-Lera, Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Endika Gil-Uriarte:
alurity, a toolbox for robot cybersecurity. CoRR abs/2010.07759 (2020)
2010 – 2019
- 2019
- [j57]Michele Scalas, Davide Maiorca, Francesco Mercaldo, Corrado Aaron Visaggio, Fabio Martinelli, Giorgio Giacinto:
On the effectiveness of system API-related information for Android ransomware detection. Comput. Secur. 86: 168-182 (2019) - [j56]Hanqi Zhang, Xi Xiao, Francesco Mercaldo, Shiguang Ni, Fabio Martinelli, Arun Kumar Sangaiah:
Classification of ransomware families with machine learning based on N-gram of opcodes. Future Gener. Comput. Syst. 90: 211-221 (2019) - [j55]Mario Luca Bernardi, Marta Cimitile, Damiano Distante, Fabio Martinelli, Francesco Mercaldo:
Dynamic malware detection and phylogeny analysis using process mining. Int. J. Inf. Sec. 18(3): 257-284 (2019) - [j54]Oleksii Osliak, Andrea Saracino, Fabio Martinelli:
A scheme for the sticky policy representation supporting secure cyber-threat intelligence analysis and sharing. Inf. Comput. Secur. 27(5) (2019) - [j53]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j52]Shirshendu Ganguly, Fabio Martinelli:
Upper triangular matrix walk: Cutoff for finitely many columns. Random Struct. Algorithms 55(2): 313-341 (2019) - [j51]Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019) - [j50]Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019) - [c268]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData 2019: 5998-6000 - [c267]Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone:
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData 2019: 6232-6234 - [c266]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS 2019: 670-672 - [c265]Ganbayar Uuganbayar, Fabio Massacci, Artsiom Yautsiukhin, Fabio Martinelli:
Cyber Insurance and Time-to-Compromise: An Integrated Approach. CyberSA 2019: 1-8 - [c264]Fabio Martinelli, Mina Sheikh Alishahi:
Distributed Data Anonymization. DASC/PiCom/DataCom/CyberSciTech 2019: 580-586 - [c263]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE 2019: 169-178 - [c262]Athanasios Rizos, Daniel Bastos, Andrea Saracino, Fabio Martinelli:
Distributed UCON in CoAP and MQTT Protocols. CyberICPS/SECPRE/SPOSE/ADIoT@ESORICS 2019: 35-52 - [c261]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
An Innovative Framework for Supporting Social Network Polluting-content Detection and Analysis. ICEIS (2) 2019: 303-311 - [c260]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Spyware Detection using Temporal Logic. ICISSP 2019: 690-699 - [c259]Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli:
Privacy-Preserving LDA Classification over Horizontally Distributed Data. IDC 2019: 65-74 - [c258]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c257]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
A machine-learning framework for supporting intelligent web-phishing detection and analysis. IDEAS 2019: 43:1-43:3 - [c256]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
Keystroke Analysis for User Identification using Deep Neural Networks. IJCNN 2019: 1-8 - [c255]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN 2019: 1-10 - [c254]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN 2019: 1-10 - [c253]Antonio La Marra, Alessio Lunardelli, Fabio Martinelli, Paolo Mori, Andrea Saracino, Piero Castoldi, Francesco Martino, Barbara Martini:
Enhancing Security in ETSI Open Source MANO with Usage Control Capability. IM 2019: 25-29 - [c252]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS 2019: 331-336 - [c251]Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino:
Using IFTTT to Express and Enforce UCON Obligations. ISPEC 2019: 213-231 - [c250]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES 2019: 1045-1052 - [c249]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Model Checking for Data Anomaly Detection. KES 2019: 1277-1286 - [c248]Antonio La Marra, Alessio Lunardelli, Fabio Martinelli, Paolo Mori, Andrea Saracino, Piero Castoldi, Francesco Marino, Barbara Martini:
Demonstration of secure slicing using ETSI MANO enhanced with Usage Control Capability. NetSoft 2019: 254-256 - [c247]Fabio Martinelli, Paolo Mori, Andrea Saracino, Francesco Di Cerbo:
Obligation Management in Usage Control Systems. PDP 2019: 356-364 - [c246]Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Wearable Devices for Human Activity Recognition and User Detection. PDP 2019: 365-372 - [c245]Fabio Martinelli, Christina Michailidou, Paolo Mori, Andrea Saracino:
Managing QoS in Smart Buildings Through Software Defined Network and Usage Control. PerCom Workshops 2019: 626-632 - [c244]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Paolo Santi:
A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services. STAST 2019: 159-174 - [c243]Mina Sheikhalishahi, Majid Nateghizad, Fabio Martinelli, Zekeriya Erkin, Marco Loog:
On the Statistical Detection of Adversarial Instances over Encrypted Data. STM 2019: 71-88 - [c242]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE 2019: 231-236 - [p3]Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino:
A Distributed Usage Control Framework for Industrial Internet of Things. Security and Privacy Trends in the Industrial Internet of Thing 2019: 115-135 - 2018
- [j49]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. 80: 505-518 (2018) - [j48]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018) - [j47]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, Giorgio Mario Grasso:
Experimenting and assessing machine learning tools for detecting and analyzing malicious behaviors in complex environments. J. Reliab. Intell. Environ. 4(4): 225-245 (2018) - [j46]Francesco Mercaldo, Andrea Di Sorbo, Corrado Aaron Visaggio, Aniello Cimitile, Fabio Martinelli:
An exploratory study on the evolution of Android malware quality. J. Softw. Evol. Process. 30(11) (2018) - [j45]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. 26(4): 1223-1256 (2018) - [j44]Andrea Saracino, Daniele Sgandurra, Gianluca Dini, Fabio Martinelli:
MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention. IEEE Trans. Dependable Secur. Comput. 15(1): 83-97 (2018) - [c241]Alessandro Bacci, Alberto Bartoli, Fabio Martinelli, Eric Medvet, Francesco Mercaldo:
Detection of Obfuscation Techniques in Android Applications. ARES 2018: 57:1-57:9 - [c240]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
Improving Machine Learning Tools with Embeddings: Applications to Big Data Security. IEEE BigData 2018: 5086-5092 - [c239]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData 2018: 5319-5321 - [c238]Fabio Martinelli, Christina Michailidou, Paolo Mori, Andrea Saracino:
Too Long, did not Enforce: A Qualitative Hierarchical Risk-Aware Data Usage Control Model for Complex Policies in Distributed Environments. CPSS@AsiaCCS 2018: 27-37 - [c237]Fabio Martinelli, Francesco Mercaldo, Andrea Saracino:
POSTER: A Framework for Phylogenetic Analysis in Mobile Environment. AsiaCCS 2018: 825-827 - [c236]Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli:
Cyber Insurance and Security Interdependence: Friends or Foes? CyberSA 2018: 1-4 - [c235]Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli:
Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. DASC/PiCom/DataCom/CyberSciTech 2018: 600-607 - [c234]Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli:
Privacy Preserving Expectation Maximization (EM) Clustering Construction. DCAI 2018: 255-263 - [c233]Fabio Martinelli, Oleksii Osliak, Andrea Saracino:
Towards General Scheme for Data Sharing Agreements Empowering Privacy-Preserving Data Analysis of Structured CTI. CyberICPS/SECPRE@ESORICS 2018: 192-212 - [c232]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
An Ensemble Fuzzy Logic Approach to Game Bot Detection through Behavioural Features. FUZZ-IEEE 2018: 1-9 - [c231]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
A Novel Structural-Entropy-based Classification Technique for Supporting Android Ransomware Detection and Analysis. FUZZ-IEEE 2018: 1-7 - [c230]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
Applying Deep Learning Techniques to CAN Bus Attacks for Supporting Identification and Analysis Tasks. ICETE (2) 2018: 479-487 - [c229]Fabio Martinelli, Francesco Mercaldo, Christina Michailidou, Andrea Saracino:
Phylogenetic Analysis for Ransomware Detection and Classification into Families. ICETE (2) 2018: 732-737 - [c228]Mina Sheikhalishahi, Mona Hamidi, Fabio Martinelli:
Privacy Preserving Collaborative Agglomerative Hierarchical Clustering Construction. ICISSP (Revised Selected Papers) 2018: 261-280 - [c227]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c226]Alessandro Bacci, Alberto Bartoli, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Corrado Aaron Visaggio:
Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis. ICISSP 2018: 379-385 - [c225]Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli:
Secure Two-party Agglomerative Hierarchical Clustering Construction. ICISSP 2018: 432-437 - [c224]Alessandro Bacci, Fabio Martinelli, Eric Medvet, Francesco Mercaldo:
VizMal: A Visualization Tool for Analyzing the Behavior of Android Malware. ICISSP 2018: 517-525 - [c223]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c222]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone:
Identifying Insecure Features in Android Applications using Model Checking. ICISSP 2018: 589-596 - [c221]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
Detecting and Analyzing Anomalies Across Historical Data Changes: A Data-Driven Approach. ICTAI 2018: 832-837 - [c220]Vasileios Gkioulos, Athanasios Rizos, Christina Michailidou, Fabio Martinelli, Paolo Mori:
Enhancing Usage Control for Performance: A Proposal for Systems of Systems (Research Poster). HPCS 2018: 1061-1062 - [c219]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo:
Applying Machine Learning Techniques to Detect and Analyze Web Phishing Attacks. iiWAS 2018: 355-359 - [c218]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
Driver Identification: a Time Series Classification Approach. IJCNN 2018: 1-7 - [c217]Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli:
A Secure Distributed Framework for Agglomerative Hierarchical Clustering Construction. PDP 2018: 430-435 - [c216]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Antonia Bertolino, Antonello Calabrò, Eda Marchetti:
CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. PDP 2018: 446-453 - [c215]Giampaolo Bella, Francesco Marino, Gianpiero Costantino, Fabio Martinelli:
Getmewhere: A Location-Based Privacy-Preserving Information Service. PDP 2018: 529-532 - [c214]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c213]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c212]Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi:
Walking Through the Deep: Gait Analysis for User Authentication Through Deep Learning. SEC 2018: 62-76 - [c211]Fabio Martinelli, Ganbayar Uuganbayar, Artsiom Yautsiukhin:
Optimal Security Configuration for Cyber Insurance. SEC 2018: 187-200 - [c210]Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Privacy Preserving Distributed Computation of Private Attributes for Collaborative Privacy Aware Usage Control Systems. SMARTCOMP 2018: 315-320 - [c209]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Francesco Mercaldo:
Improving Vehicle Safety Through a Fog Collaborative Infrastructure. SMARTCOMP 2018: 446-451 - [c208]Andrea Saracino, Francesco Restuccia, Fabio Martinelli:
Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots. TrustCom/BigDataSE 2018: 596-607 - [c207]Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Privacy Preserving Distributed Attribute Computation for Usage Control in the Internet of Things. TrustCom/BigDataSE 2018: 1844-1851 - [c206]Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci:
CANDY: A Social Engineering Attack to Leak Information from Infotainment System. VTC Spring 2018: 1-5 - [c205]Francesco Di Cerbo, Alessio Lunardelli, Ilaria Matteucci, Fabio Martinelli, Paolo Mori:
A Declarative Data Protection Approach: From Human-Readable Policies to Automatic Enforcement. WEBIST (Revised Selected Papers) 2018: 78-98 - [c204]Francesco Di Cerbo, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. WEBIST 2018: 308-315 - [c203]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - [i10]Francesco Restuccia, Andrea Saracino, Fabio Martinelli:
Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots. CoRR abs/1805.07600 (2018) - [i9]Michele Scalas, Davide Maiorca, Francesco Mercaldo, Corrado Aaron Visaggio, Fabio Martinelli, Giorgio Giacinto:
R-PackDroid: Practical On-Device Detection of Android Ransomware. CoRR abs/1805.09563 (2018) - 2017
- [j43]Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi:
Private mobility-cast for opportunistic networks. Comput. Networks 120: 28-42 (2017) - [j42]Angelica Marotta, Fabio Martinelli, Stefano Nanni, Albina Orlando, Artsiom Yautsiukhin:
Cyber-insurance survey. Comput. Sci. Rev. 24: 35-61 (2017) - [j41]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Stateful Data Usage Control for Android Mobile Devices. Int. J. Inf. Sec. 16(4): 345-369 (2017) - [c202]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c201]Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, Gianni Viardo Vercelli:
Tor traffic analysis and detection via machine learning techniques. IEEE BigData 2017: 4474-4480 - [c200]Fabio Martinelli, Francesco Mercaldo, Andrea Saracino:
BRIDEMAID: An Hybrid Tool for Accurate Detection of Android Malware. AsiaCCS 2017: 899-901 - [c199]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c198]Fabio Martinelli, Albina Orlando, Ganbayar Uuganbayar, Artsiom Yautsiukhin:
Preventing the Drop in Security Investments for Non-competitive Cyber-Insurance Market. CRiSIS 2017: 159-174 - [c197]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci:
Reputation Systems to Mitigate DoS Attack in Vehicular Network. CRITIS 2017: 261-265 - [c196]Mina Sheikhalishahi, Fabio Martinelli:
Privacy-Utility Feature Selection as a tool in Private Data Classification. DCAI 2017: 254-261 - [c195]Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino:
Introducing Usage Control in MQTT. CyberICPS/SECPRE@ESORICS 2017: 35-43 - [c194]Alberto Ferrante, Miroslaw Malek, Fabio Martinelli, Francesco Mercaldo, Jelena Milosevic:
Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection. FPS 2017: 242-258 - [c193]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
A fuzzy-based process mining approach for dynamic malware detection. FUZZ-IEEE 2017: 1-8 - [c192]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c191]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi:
Efficient Detection of Conflicts in Data Sharing Agreements. ICISSP (Revised Selected Papers) 2017: 148-172 - [c190]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi:
Analysis of Data Sharing Agreements. ICISSP 2017: 167-178 - [c189]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo:
Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment. ICISSP 2017: 487-492 - [c188]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c187]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c186]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
Game Bot Detection in Online Role Player Game through Behavioural Features. ICSOFT 2017: 50-60 - [c185]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
A Machine Learning Approach for Game Bot Detection Through Behavioural Features. ICSOFT (Selected Papers) 2017: 114-134 - [c184]Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi:
Privacy-preserving text mining as a service. ISCC 2017: 890-897 - [c183]Mina Sheikhalishahi, Fabio Martinelli:
Privacy preserving clustering over horizontal and vertical partitioned data. ISCC 2017: 1237-1244 - [c182]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo:
Evaluating Convolutional Neural Network for Effective Mobile Malware Detection. KES 2017: 2372-2381 - [c181]Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR 2017: 319-337 - [c180]Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino:
Concurrent History-based Usage Control Policies. MODELSWARD 2017: 657-666 - [c179]Luca Dariz, Michele Selvatici, Massimiliano Ruggeri, Gianpiero Costantino, Fabio Martinelli:
Trade-off analysis of safety and security in CAN bus communication. MT-ITS 2017: 226-231 - [c178]Mario Faiella, Antonio La Marra, Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Mina Sheikhalishahi:
A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware. PDP 2017: 321-328 - [c177]Davide Maiorca, Francesco Mercaldo, Giorgio Giacinto, Corrado Aaron Visaggio, Fabio Martinelli:
R-PackDroid: API package-based characterization and detection of mobile ransomware. SAC 2017: 1718-1723 - [c176]Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi:
Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning. SAFECOMP Workshops 2017: 384-395 - [c175]Gerardo Canfora, Giovanni Cappabianca, Pasquale Carangelo, Fabio Martinelli, Francesco Mercaldo, Ernesto Rosario Russo, Corrado Aaron Visaggio:
Mobile Silent and Continuous Authentication using Apps Sequence. SECRYPT 2017: 79-91 - [c174]Mina Sheikhalishahi, Fabio Martinelli:
Privacy Preserving Hierarchical Clustering over Multi-party Data Distribution. SpaCCS 2017: 530-544 - [c173]Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino:
Improving MQTT by Inclusion of Usage Control. SpaCCS 2017: 545-560 - [c172]Giacomo Giorgi, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Smart Parental Advisory: A Usage Control and Deep Learning-Based Framework for Dynamic Parental Control on Smart TV. STM 2017: 118-133 - [c171]Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Implementing Usage Control in Internet of Things: A Smart Home Use Case. TrustCom/BigDataSE/ICESS 2017: 1056-1063 - [c170]Mina Sheikhalishahi, Fabio Martinelli:
Privacy-Utility Feature Selection as a Privacy Mechanism in Collaborative Data Classification. WETICE 2017: 244-249 - [c169]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - [c168]Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo:
A time series classification approach to game bot detection. WIMS 2017: 6:1-6:11 - [e21]Sabrina De Capitani di Vimercati, Fabio Martinelli:
ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. IFIP Advances in Information and Communication Technology 502, Springer 2017, ISBN 978-3-319-58468-3 [contents] - 2016
- [j40]Enrico Carniani, Davide D'Arenzo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
Usage Control on Cloud systems. Future Gener. Comput. Syst. 63: 37-55 (2016) - [j39]Enrico Carniani, Gianpiero Costantino, Francesco Marino, Fabio Martinelli, Paolo Mori:
Enhancing Video Surveillance with Usage Control and Privacy-Preserving Solutions. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7(4): 20-40 (2016) - [c167]Mario Faiella, Fabio Martinelli, Paolo Mori, Andrea Saracino, Mina Sheikhalishahi:
Collaborative Attribute Retrieval in Environment with Faulty Attribute Managers. ARES 2016: 296-303 - [c166]Sergiu Carpov, Thanh-Hai Nguyen, Renaud Sirdey, Gianpiero Costantino, Fabio Martinelli:
Practical Privacy-Preserving Medical Diagnosis Using Homomorphic Encryption. CLOUD 2016: 593-599 - [c165]Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS 2016: 134-152 - [c164]Antonio La Marra, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi:
MalProfiler: Automatic and Effective Classification of Android Malicious Apps in Behavioral Classes. FPS 2016: 3-19 - [c163]Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli:
Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. FPS 2016: 161-178 - [c162]Andrea Saracino, Fabio Martinelli, Gaetano Alboreto, Gianluca Dini:
Data-Sluice: Fine-grained traffic control for Android application. ISCC 2016: 702-709 - [c161]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci:
Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD 2016: 75-82 - [c160]Enrico Carniani, Gianpiero Costantino, Francesco Marino, Fabio Martinelli, Paolo Mori:
Towards a Usage Control Based Video Surveillance Framework. PDP 2016: 604-608 - [c159]Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Corrado Aaron Visaggio:
I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware. PST 2016: 129-136 - [c158]Fabio Martinelli, Artsiom Yautsiukhin:
Security by Insurance for Services. QRS Companion 2016: 344-351 - [c157]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
A multi-criteria ranking of security countermeasures. SAC 2016: 530-533 - [c156]Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi:
LoSeRO: a locality sensitive routing protocol in opportunistic networks. SAC 2016: 644-650 - [c155]Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci:
Automated adaptation via quantitative partial model checking. SAC 2016: 1993-1996 - [c154]Fabio Martinelli, Paolo Mori, Andrea Saracino:
Enhancing Android permission through usage control: a BYOD use-case. SAC 2016: 2049-2056 - [c153]Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino:
Enforcement of U-XACML History-Based Usage Control Policy. STM 2016: 64-81 - [c152]Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi:
Modeling Privacy Aware Information Sharing Systems: A Formal and General Approach. Trustcom/BigDataSE/ISPA 2016: 767-774 - [c151]Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini:
On Probabilistic Application Compliance. Trustcom/BigDataSE/ISPA 2016: 1848-1855 - [c150]Francesco Restuccia, Andrea Saracino, Sajal K. Das, Fabio Martinelli:
LVS: A WiFi-based system to tackle Location Spoofing in location-based services. WoWMoM 2016: 1-4 - [e20]Joaquín García-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9481, Springer 2016, ISBN 978-3-319-29882-5 [contents] - [e19]Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. Lecture Notes in Computer Science 9963, Springer 2016, ISBN 978-3-319-47071-9 [contents] - [e18]Alessandro Aldini, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures. Lecture Notes in Computer Science 9808, Springer 2016, ISBN 978-3-319-43004-1 [contents] - [i8]Fabio Martinelli, Edgar R. Weippl:
Cybersecurity - Introduction to the Special Theme. ERCIM News 2016(106) (2016) - 2015
- [j38]Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Detection of repackaged mobile applications through a collaborative approach. Concurr. Comput. Pract. Exp. 27(11): 2818-2838 (2015) - [j37]Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra:
AntiCheetah: Trustworthy computing in an outsourced (cheating) environment. Future Gener. Comput. Syst. 48: 28-38 (2015) - [j36]Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset:
Probabilistic cost enforcement of security policies. J. Comput. Secur. 23(6): 759-787 (2015) - [j35]Noura Faci, Marinella Petrocchi, Gianpiero Costantino, Fabio Martinelli, Zakaria Maamar:
A quality model for social networks populated with web services. Serv. Oriented Comput. Appl. 9(2): 139-155 (2015) - [c149]Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
There are Two Sides to Every Question - Controller Versus Attacker. Programming Languages with Applications to Biology and Security 2015: 304-318 - [c148]Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli:
Business Reputation of Social Networks of Web Services. FNC/MobiSPC 2015: 18-25 - [c147]Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli:
Fast and Effective Clustering of Spam Emails Based on Structural Similarity. FPS 2015: 195-211 - [c146]Gianpiero Costantino, Fabio Martinelli:
Privacy-Preserving Energy-Reading for Smart Meter. ICOST 2015: 165-177 - [c145]Daniele Sgandurra, Francesco Di Cerbo, Slim Trabelsi, Fabio Martinelli, Emil C. Lupu:
Sharing Data through Confidential Clouds: An Architectural Perspective. TELERISE@ICSE 2015: 58-61 - [c144]Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi:
Location-Based Routing for Opportunistic Networks. MASS 2015: 452-453 - [c143]Francesco Restuccia, Andrea Saracino, Sajal K. Das, Fabio Martinelli:
Preserving QoI in participatory sensing by tackling location-spoofing through mobile WiFi hotspots. PerCom Workshops 2015: 81-86 - [c142]Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin:
Network security supported by arguments. PST 2015: 165-172 - [c141]Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli:
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. STM 2015: 3-19 - [c140]Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
Semiring-based Specification Approaches for Quantitative Security. QAPL 2015: 95-109 - [e17]Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri:
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8872, Springer 2015, ISBN 978-3-319-17015-2 [contents] - [i7]Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer:
Dynamics of Lattice Triangulations on Thin Rectangles. CoRR abs/1505.06161 (2015) - 2014
- [j34]Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5(2): 44-64 (2014) - [j33]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori:
Testing of PolPA-based usage control systems. Softw. Qual. J. 22(2): 241-271 (2014) - [j32]Gianpiero Costantino, Fabio Martinelli, Paolo Santi:
Investigating the Privacy versus Forwarding Accuracy Tradeoff in OpportunisticInterest-Casting. IEEE Trans. Mob. Comput. 13(4): 824-837 (2014) - [c139]Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini:
An Improved Role-Based Access to Android Applications with JCHR. ARES 2014: 341-348 - [c138]Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742 - [c137]Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra:
Enforcing Mobile Application Security Through Probabilistic Contracts. ESSoS Doctoral Symposium 2014 - [c136]Fabio Martinelli, Francesco Santini:
Debating Cybersecurity or Securing a Debate? - (Position Paper). FPS 2014: 239-246 - [c135]Gaetano F. Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Aliaksandr Lazouski, Fabio Martinelli, Gaetano Mancini, Paolo Mori:
Usage Control in Cloud Federations. IC2E 2014: 141-146 - [c134]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
Evaluation of Risk for Complex Systems Using Attack Surface. ISSRE Workshops 2014: 275-280 - [c133]Gianpiero Costantino, Fabio Martinelli, Paolo Santi:
Privacy-preserving mobility-casting in opportunistic networks. PST 2014: 10-18 - [c132]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops 2014: 243-254 - [c131]Kristian Beckers, Maritta Heisel, Leanid Krautsevich, Fabio Martinelli, Rene Meis, Artsiom Yautsiukhin:
Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis. SmartGridSec 2014: 30-47 - [c130]Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori:
Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud. IEEE Symposium on Security and Privacy Workshops 2014: 23-30 - [c129]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Stateful Usage Control for Android Mobile Devices. STM 2014: 97-112 - [c128]Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli:
Using Incentives to Analyze Social Web Services' Behaviors. WISE Workshops 2014: 148-160 - [p2]José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani:
On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems 2014: 140-159 - [e16]Wouter Joosen, Fabio Martinelli, Thomas Heyman:
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014. CEUR Workshop Proceedings 1298, CEUR-WS.org 2014 [contents] - [e15]Alessandro Aldini, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures. Lecture Notes in Computer Science 8604, Springer 2014, ISBN 978-3-319-10081-4 [contents] - [e14]Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli:
Engineering Secure Future Internet Services and Systems - Current Research. Lecture Notes in Computer Science 8431, Springer 2014, ISBN 978-3-319-07451-1 [contents] - 2013
- [j31]Georgios Karopoulos, Paolo Mori, Fabio Martinelli:
Usage control in SIP-based multimedia delivery. Comput. Secur. 39: 406-418 (2013) - [j30]Mariantonietta Noemi La Polla, Fabio Martinelli, Daniele Sgandurra:
A Survey on Security for Mobile Devices. IEEE Commun. Surv. Tutorials 15(1): 446-471 (2013) - [j29]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Cost-Effective Enforcement of Access and Usage Control Policies Under Uncertainties. IEEE Syst. J. 7(2): 223-235 (2013) - [c127]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES 2013: 455-464 - [c126]Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Probabilistic Contract Compliance for Mobile Applications. ARES 2013: 599-606 - [c125]Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra:
How to grant less permissions to facebook applications. IAS 2013: 55-60 - [c124]Gianpiero Costantino, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Towards enforcing on-the-fly policies in BYOD environments. IAS 2013: 61-65 - [c123]Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin:
Multi-dimensional Secure Service Orchestration. Business Process Management Workshops 2013: 473-485 - [c122]Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini:
A collaborative framework for generating probabilistic contracts. CTS 2013: 139-142 - [c121]Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra:
Are photos on Social Networks really private? CTS 2013: 162-165 - [c120]Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Classifying Android Malware through Subgraph Mining. DPM/SETOP 2013: 268-283 - [c119]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra:
Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP 2013: 284-299 - [c118]Fabio Martinelli, Ilaria Matteucci:
Partial Model Checking for the Verification and Synthesis of Secure Service Compositions. EuroPKI 2013: 1-11 - [c117]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset:
Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS 2013: 178-186 - [c116]Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra:
CheR: Cheating Resilience in the Cloud via Smart Resource Allocation. FPS 2013: 339-352 - [c115]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin:
Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies. ICCCN 2013: 1-8 - [c114]Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra:
Remote Policy Enforcement for Trusted Application Execution in Mobile Environments. INTRUST 2013: 70-84 - [c113]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Towards Policy Engineering for Attribute-Based Access Control. INTRUST 2013: 85-102 - [c112]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Towards Attribute-Based Access Control Policy Engineering Using Risk. RISK@ICTSS 2013: 80-90 - [c111]Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset:
Probabilistic Cost Enforcement of Security Policies. STM 2013: 144-159 - [c110]Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer:
Random lattice triangulations: structure and algorithms. STOC 2013: 615-624 - [c109]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC 2013: 1541-1546 - [c108]Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra:
AntiCheetah: An Autonomic Multi-round Approach for Reliable Computing. UIC/ATC 2013: 371-379 - [c107]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
Formal Analysis of Security Metrics with Defensive Actions. UIC/ATC 2013: 458-465 - [e13]M. Carmen Fernández Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo:
Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings. IFIP Advances in Information and Communication Technology 401, Springer 2013, ISBN 978-3-642-38322-9 [contents] - [i6]Gianpiero Costantino, Fabio Martinelli, Paolo Santi:
Privacy-Preserving Interest-Cast for Android Smartphones. ERCIM News 2013(93) (2013) - [i5]Fabio Martinelli:
Secure and Privacy-Aware Mobile Identity Management. ERCIM News 2013(93) (2013) - 2012
- [j28]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Comput. Math. Appl. 64(4): 447-462 (2012) - [j27]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
Modular plans for secure service composition. J. Comput. Secur. 20(1): 81-117 (2012) - [j26]José Antonio Martín, Fabio Martinelli, Ernesto Pimentel:
Synthesis of secure adaptors. J. Log. Algebraic Methods Program. 81(2): 99-126 (2012) - [j25]Fabio Martinelli, Ilaria Matteucci:
A framework for automatic generation of security controller. Softw. Test. Verification Reliab. 22(8): 563-582 (2012) - [c106]Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand:
A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561 - [c105]Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi:
Priorities-Based Review Computation. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing 2012 - [c104]Fabio Martinelli, Charles Morisset:
Quantitative access control with partially-observable Markov decision processes. CODASPY 2012: 169-180 - [c103]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
Towards Modelling Adaptive Attacker's Behaviour. FPS 2012: 357-364 - [c102]Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori:
Usage control in cloud systems. ICITST 2012: 202-207 - [c101]Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori:
Testing of PolPA authorization systems. AST 2012: 8-14 - [c100]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 - [c99]Peter Drábik, Fabio Martinelli, Charles Morisset:
A Quantitative Approach for Inexact Enforcement of Security Policies. ISC 2012: 306-321 - [c98]Fabio Martinelli, Ilaria Matteucci, Charles Morisset:
From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS 2012: 22-35 - [c97]Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
MADAM: A Multi-level Anomaly Detector for Android Malware. MMM-ACNS 2012: 240-253 - [c96]Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso:
An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. MobiCom 2012: 447-450 - [c95]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS 2012: 10 - [c94]Georgios Karopoulos, Paolo Mori, Fabio Martinelli:
Continuous Authorizations in SIP with Usage Control. PDP 2012: 283-287 - [c93]Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso:
An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. PST 2012: 9-16 - [c92]Roberto Di Pietro, Fabio Martinelli, Nino Vincenzo Verde:
Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some Solutions. SRDS 2012: 213-218 - [c91]Peter Drábik, Fabio Martinelli, Charles Morisset:
Cost-Aware Runtime Enforcement of Security Policies. STM 2012: 1-16 - [c90]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
A Prototype for Enforcing Usage Control Policies Based on XACML. TrustBus 2012: 79-92 - [c89]Gianpiero Costantino, Fabio Martinelli, Paolo Santi:
Privacy-preserving interest-casting in opportunistic networks. WCNC 2012: 2829-2834 - [c88]Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin:
Metric-Aware Secure Service Orchestration. ICE 2012: 32-46 - [e12]Fabio Martinelli, Jean-Louis Lanet, William M. Fitzgerald, Simon N. Foley:
7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-3087-9 [contents] - [e11]Sara Foresti, Moti Yung, Fabio Martinelli:
Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Lecture Notes in Computer Science 7459, Springer 2012, ISBN 978-3-642-33166-4 [contents] - 2011
- [j24]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
Secure service orchestration in open networks. J. Syst. Archit. 57(3): 231-239 (2011) - [j23]Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli:
Convergence to equilibrium of biased plane Partitions. Random Struct. Algorithms 39(1): 83-114 (2011) - [j22]David J. Galvin, Fabio Martinelli, Kavita Ramanan, Prasad Tetali:
The Multistate Hard Core Model on a Regular Tree. SIAM J. Discret. Math. 25(2): 894-915 (2011) - [c87]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Cost-effective Enforcement of UCONA Policies. CRiSIS 2011: 70-77 - [c86]Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin:
Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP 2011: 206-220 - [c85]Fabio Martinelli, Paolo Mori:
A Distributed Authorization System with Mobile Usage Control Policies. EUROCAST (1) 2011: 56-63 - [c84]Wouter Joosen, Javier López, Fabio Martinelli, Fabio Massacci:
Engineering Secure Future Internet Services. Future Internet Assembly 2011: 177-192 - [c83]Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli:
Sharp Mixing Time Bounds for Sampling Random Surfaces. FOCS 2011: 130-139 - [c82]Fabio Martinelli, Ilaria Matteucci:
Preserving security properties under refinement. SESS@ICSE 2011: 15-21 - [c81]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
A General Method for Assessment of Security in Complex Services. ServiceWave 2011: 153-164 - [c80]Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi:
Security and Trust. SFM 2011: 393-416 - [c79]Giorgos Karopoulos, Fabio Martinelli:
IMS Session Management Based on Usage Control. STA 2011: 71-78 - [c78]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
Formal Analysis of Security Metrics and Risk. WISTP 2011: 304-319 - 2010
- [j21]Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi:
Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Comput. Commun. 33(8): 907-922 (2010) - [j20]Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter:
Runtime monitoring for next generation Java ME platform. Comput. Secur. 29(1): 74-87 (2010) - [j19]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
Usage control in computer security: A survey. Comput. Sci. Rev. 4(2): 81-99 (2010) - [j18]Fabio Martinelli, Paolo Mori:
On usage control for GRID systems. Future Gener. Comput. Syst. 26(7): 1032-1042 (2010) - [j17]Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci:
Security-by-Contract-with-Trust for Mobile Devices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 1(4): 75-91 (2010) - [j16]Theo Dimitrakos, Fabio Martinelli, Bruce Schneier:
Special issue on security and trust management for dynamic coalitions. Secur. Commun. Networks 3(6): 453-455 (2010) - [c77]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC 2010: 268-282 - [c76]Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci:
Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS 2010: 872-877 - [c75]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin:
Formal approach to security metrics.: what does "more secure" mean for you? ECSA Companion Volume 2010: 162-169 - [c74]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
Modular Plans for Secure Service Composition. ARSPA-WITS 2010: 41-58 - [c73]Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli:
Enforcing UCON Policies on the Enterprise Service Bus. OTM Conferences (2) 2010: 876-893 - [c72]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Risk-Based Usage Control for Service Oriented Architecture. PDP 2010: 641-648 - [c71]Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi:
Dependability in dynamic, evolving and heterogeneous systems: the connect approach. SERENE 2010: 83-88 - [c70]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin:
Influence of Attribute Freshness on Decision Making in Usage Control. STM 2010: 35-50 - [c69]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin:
Usage Control, Risk and Trust. TrustBus 2010: 1-12 - [p1]Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
Access and Usage Control in Grid Systems. Handbook of Information and Communication Security 2010: 293-308 - [e10]Fabio Martinelli, Bart Preneel:
Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6391, Springer 2010, ISBN 978-3-642-16440-8 [contents] - [i4]Fabio Martinelli, Alistair Sinclair:
Mixing Time for the Solid-on-Solid Model. CoRR abs/1008.0125 (2010) - [i3]Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori:
Parental Control for Mobile Devices. ERCIM News 2010(82): 61-62 (2010)
2000 – 2009
- 2009
- [j15]Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. Int. J. Inf. Sec. 8(4): 291-314 (2009) - [j14]Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino:
Securing Java with Local Policies. J. Object Technol. 8(4): 5-32 (2009) - [c68]Fabio Martinelli, Marinella Petrocchi:
Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS 2009: 11-23 - [c67]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski:
On Usage Control for GRID Services. CSO (1) 2009: 47-51 - [c66]Fabio Martinelli, Ilaria Matteucci:
Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42 - [c65]Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori:
A Proposal on Enhancing XACML with Continuous Usage Control Features. CoreGRID@Euro-Par 2009: 133-146 - [c64]Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli:
On Usage Control in Data Grids. IFIPTM 2009: 99-116 - [c63]Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli:
Detection of images with adult content for parental control on mobile devices? Mobility Conference 2009 - [c62]Fabio Martinelli, Alistair Sinclair:
Mixing time for the solid-on-solid model. STOC 2009: 571-580 - [e9]Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli:
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5491, Springer 2009 [contents] - [e8]Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio A. Ardagna:
Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings. Lecture Notes in Computer Science 5735, Springer 2009, ISBN 978-3-642-04473-1 [contents] - [e7]Theodosis Dimitrakos, Fabio Martinelli:
Proceedings of the 4th International Workshop on Security and Trust Management, STM@IFIPTM 2008, Trondheim, Norway, June 16-17, 2008. Electronic Notes in Theoretical Computer Science 244, Elsevier 2009 [contents] - 2008
- [j13]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. 41(3-4): 325-364 (2008) - [c61]Fabio Martinelli, Ilaria Matteucci:
Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127 - [c60]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134 - [c59]Stefano Bistarelli, Fabio Martinelli, Francesco Santini:
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495 - [c58]Fabio Martinelli, Marinella Petrocchi:
Signed and Weighted Trust Credentials in Fraglets. BIONETICS 2008: 7 - [c57]Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti:
Enhancing Java ME Security Support with Resource Usage Monitoring. ICICS 2008: 256-266 - [c56]Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481 - [c55]Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi:
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201 - [c54]Fabio Martinelli, Paolo Mori, Thomas B. Quillinan, Christian Schaefer:
A Runtime Monitoring Environment for Mobile Java. ICST Workshops 2008: 270-278 - [c53]Paolo Greci, Fabio Martinelli, Ilaria Matteucci:
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236 - [c52]Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese:
Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253 - [c51]Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117 - [c50]Theodosis Dimitrakos, Fabio Martinelli:
Preface. STM@IFIPTM 2008: 1-2 - [c49]Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD 2008: 65-84 - [i2]Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter:
Enhancing Java ME Security Support with Resource Usage Monitoring. ERCIM News 2008(75) (2008) - 2007
- [j12]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider:
Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007) - [j11]Fabio Martinelli, Alistair Sinclair, Dror Weitz:
Fast mixing for independent sets, colorings, and other models on trees. Random Struct. Algorithms 31(2): 134-172 (2007) - [c48]Fabio Martinelli, Marinella Petrocchi:
Access Control Mechanisms for Fraglets. BIONETICS 2007: 101-104 - [c47]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Extending the Globus Architecture with Role-Based Trust Management. EUROCAST 2007: 448-456 - [c46]Fabio Martinelli, Paolo Mori:
Enhancing Java Security with History Based Access Control. FOSAD 2007: 135-159 - [c45]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli:
Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515 - [c44]Fabio Martinelli, Paolo Mori:
A model for usage control in GRID systems. SecureComm 2007: 169-175 - [c43]Fabio Martinelli:
A model for usage control in GRID systems. SecureComm 2007: 520 - [c42]Fabio Martinelli, Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138 - [e6]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider:
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4691, Springer 2007, ISBN 978-3-540-75226-4 [contents] - [i1]Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi:
Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007) - 2006
- [j10]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal analysis of some secure procedures for certificate delivery. Softw. Test. Verification Reliab. 16(1): 33-59 (2006) - [c41]Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. ICAS 2006: 34 - [c40]Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli:
A Fine-Grained and X.509-Based Access Control System for Globus. OTM Conferences (2) 2006: 1336-1350 - [c39]Fabio Martinelli, Ilaria Matteucci:
An Approach for the Specification, Verification and Synthesis of Secure Systems. VODCA@FOSAD 2006: 29-43 - [c38]Fabio Martinelli, Ilaria Matteucci:
Through Modeling to Synthesis of Security Automata. STM 2006: 31-46 - [c37]Fabio Martinelli, Marinella Petrocchi:
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. ICS@SYNASC 2006: 85-99 - [c36]Fabio Martinelli, Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks. VODCA@FOSAD 2006: 191-205 - [e5]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider:
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3866, Springer 2006, ISBN 3-540-32628-6 [contents] - [e4]Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci:
Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings. Lecture Notes in Computer Science 3986, Springer 2006, ISBN 3-540-34295-8 [contents] - 2005
- [j9]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
SEAS, a secure e-voting protocol: Design and implementation. Comput. Secur. 24(8): 642-652 (2005) - [j8]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli:
Relating multiset rewriting and process algebras for security protocol analysis. J. Comput. Secur. 13(1): 3-47 (2005) - [j7]Roberto Gorrieri, Fabio Martinelli:
Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005) - [c35]Fabio Martinelli:
Towards an Integrated Formal Analysis for Security and Trust. FMOODS 2005: 115-130 - [c34]Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Towards Continuous Usage Control on Grid Computational Services. ICAS/ICNS 2005: 82 - [c33]Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli:
A Flexible Framework for Access Control Based on Ability Authentication. SAINT Workshops 2005: 106-109 - [c32]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema. STM 2005: 61-78 - [e3]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 2005 [contents] - [e2]Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, ISBN 3-540-28955-0 [contents] - [e1]Theodosis Dimitrakos, Fabio Martinelli:
Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. IFIP 173, Springer 2005, ISBN 0-387-24050-0 [contents] - 2004
- [j6]Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004) - [j5]Roberto Gorrieri, Fabio Martinelli:
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004) - [c31]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Local Management of Credits and Debits in Mobile Ad Hoc Networks. Communications and Multimedia Security 2004: 31-45 - [c30]Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli:
Improving Grid Services Security with Fine Grain Policies. OTM Workshops 2004: 123-134 - [c29]Fabio Martinelli, Alistair Sinclair, Dror Weitz:
Fast mixing for independent sets, colorings and other models on trees. SODA 2004: 456-465 - [c28]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Preface. WISP@ICATPN 2004: 1-2 - 2003
- [j4]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Real-time information flow analysis. IEEE J. Sel. Areas Commun. 21(1): 20-35 (2003) - [j3]Fabio Martinelli:
Analysis of security protocols as open systems. Theor. Comput. Sci. 290(1): 1057-1106 (2003) - [j2]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003) - [c27]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149 - [c26]Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128 - [c25]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426 - [c24]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154 - [c23]Fabio Martinelli, Alistair Sinclair, Dror Weitz:
The Ising Model on Trees: Boundary Conditions and Mixing Time. FOCS 2003: 628-639 - [c22]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396 - [c21]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329 - [c20]Roberto Gorrieri, Fabio Martinelli:
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67 - [c19]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli:
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99 - [c18]Fabio Martinelli:
Symbolic Partial Model Checking for Security Analysis. MMM-ACNS 2003: 122-134 - [c17]Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli:
Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332 - [c16]Fabio Martinelli:
Biometrics to Enhance Smartcard Security (Discussion). Security Protocols Workshop 2003: 333-335 - [c15]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP 2003: 57-70 - [c14]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO 2003: 111-126 - 2002
- [c13]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185 - [c12]Fabio Martinelli:
About Compositional Analysis of Pi-Calculus Processes. IFIP TCS 2002: 524-536 - [c11]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427 - [c10]Fabio Martinelli:
Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. MFCS 2002: 519-531 - 2001
- [c9]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA 2001: 211-228 - [c8]Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
Formal Models of Timing Attacks on Web Privacy. TOSCA 2001: 229-243 - 2000
- [c7]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Message Authentication through Non Interference. AMAST 2000: 258-272 - [c6]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184 - [c5]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
1990 – 1999
- 1999
- [c4]Riccardo Focardi, Fabio Martinelli:
A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods 1999: 794-813 - [c3]Davide Marchignoli, Fabio Martinelli:
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162 - [c2]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Secrecy in Security Protocols as Non Interference. Workshop on Secure Architectures and Information Flow 1999: 101-112 - 1998
- [j1]Fabio Martinelli:
An Improvement of Algorithms for Solving Interface Equations. Inf. Process. Lett. 67(4): 185-190 (1998) - [c1]Fabio Martinelli:
Partial Model Checking and Theorem Proving for Ensuring Security Properties. CSFW 1998: 44-52
Coauthor Index
aka: Theo Dimitrakos
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint