Fabio Martinelli

547 papers A* 7A 10B 83C 83Misc 18Journal 120Unranked 204

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Machine Learning Method for Facial Image-Based Autism Spectrum Disorder Detection. BIOSTEC (4) Jessica Lucarelli, Mario Cesarelli, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2026	—	`conf`	A Method for Driver Drowsiness Identification by Means of Explainable Object Detection. BIOSTEC (3) Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2026	—	`conf`	A Method for Privacy-Preserving and Explainable Pneumonia Detection and Localisation. BIOSTEC (2) Miriam Di Renzo, Filomena Niro, Desirè Menditto, Patrizia Agnello, Marta Petyx, Mario Cesarelli, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2026	J	`jnl`	A Privacy-Preserving and Explainable Method for Diabetic Retinopathy Classification and Localization. IEEE Access Giovanni Ciaramella, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone, Francesco Mercaldo
2026	J	`jnl`	A method for real-world privacy-preserving Android malware detection through Federated Machine Learning. Inf. Softw. Technol. Giovanni Ciaramella, Fabio Martinelli, Christian Peluso, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	A Deep Learning-Based Approach for Explainable Microsatellite Instability Detection in Gastrointestinal Malignancies. J. Imaging Ludovica Ciardiello, Patrizia Agnello, Marta Petyx, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Federated Machine Learning Method for Malicious Smart Contract Detection. BCCA Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Paolo Mori, Antonella Santone
2025	—	`conf`	A Hybrid Approach to Sentence Classification in Clinical Data Through Word Embeddings: A Proposal. BIBM Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Method for Explainable Anomaly Detection in Substation Networks Through Deep Learning. ARES (Workshops 1) Paul Tavolato, Oliver Eigner, Philipp Kreimel-Haindl, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	B	`conf`	A Method for Explainable Medical Abstracts Classification through Transformer Models. IJCNN Luca Petrillo, Anna Giacomello, Fabio Martinelli, Antonella Santone, Mario Cesarelli, Francesco Mercaldo
2025	C	`conf`	A Method for Packed (and Unpacked) Malware Detection by Means of Convolutional Neural Networks. SECRYPT Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Privacy-Preserving Method for Explainable Multiple Sclerosis Detection Through Federated Machine Learning. ICIAP (Workshops 2) Filomena Niro, Miriam Di Renzo, Patrizia Agnello, Marta Petyx, Giovanni Ciaramella, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Privacy-Preserving and Explainable Approach for Anomaly Detection in Substation Networks. IJCCI (3) Paul Tavolato, Oliver Eigner, Philipp Kreimel-Haindl, Patrizia Agnello, Marta Petyx, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	—	`conf`	A Proposal for Automatic Bounding Box Annotation for Object Detection Tasks. ICHI Francesco Mercaldo, Fabio Martinelli, Mario Cesarelli, Antonella Santone
2025	J	`jnl`	A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability. Image Vis. Comput. Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	A method for smart grid intrusion detection through explainable deep learning. J. Comput. Virol. Hacking Tech. Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	An Explainable Framework for Text Generation Tasks. BIBM Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	Misc	`conf`	An Explainable Method for Access Control Policies Classification. CSR Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	An Explainable Method for Malware Detection Through Convolutional Neural Networks. ARES (Workshops 1) Francesco Mercaldo, Paul Tavolato, Antonella Santone, Fabio Martinelli
2025	—	`conf`	BIOFED: A Biomedical Federated and Explainable Framework for Object Detection. BIBM Francesco Mercaldo, Marcello Di Giammarco, Filomena Niro, Miriam Di Renzo, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone
2025	—	`conf`	Bioimages Synthesis and Detection Through Generative Adversarial Network: A Multi-Case Study. BIOSTEC (1) Valeria Sorgente, Ilenia Verrillo, Mario Cesarelli, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	EEGAP: ECC-Based Efficient Group Authentication Protocol for Dynamic Vehicular Platoon. IEEE Trans. Intell. Transp. Syst. Hongyuan Cheng, Zihan Wang, Jingcheng Song, Qi Zhong, Zahra Pooranian, Fabio Martinelli, Mohammad Shojafar
2025	B	`conf`	Explainable Access Control Policies Classification through Large Language Models. IJCNN Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	Explainable Brain Activity Classification from Audio Recordings and Convolutional Neural Networks. IDSTA Paul Tavolato, Hubert Schölnast, Oliver Eigner, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	Explainable Deep Learning for Breast Cancer Classification and Localization. ACM Trans. Comput. Heal. Marcello Di Giammarco, Camilla Vitulli, Simone Cirnelli, Benedetta Masone, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	Misc	`conf`	Explainable Malware Detection by means of Federated Machine Learning. CSR Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	Misc	`conf`	Explainable Ransomware Detection through Static Analysis and Machine Learning. CSR Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	Explainable Security Requirements Classification Through Transformer Models. Future Internet Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	Explainable retinal disease classification and localization through Convolutional Neural Networks. Image Vis. Comput. Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study. J. Imaging Valeria Sorgente, Dante Biagiucci, Mario Cesarelli, Luca Brunese, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	—	`conf`	FLIP: A tool for Explainable Federated Learning for Image Processing. ICHI Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	Flip_VIT: An Explainable Federated Learning Framework for Privacy-Preserving Biomedical Imaging Analysis. BIBM Francesco Mercaldo, Marcello Di Giammarco, Filomena Niro, Miriam Di Renzo, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone
2025	—	`conf`	Joint Angle Detection through Human Pose Estimation: A Proposal. ICHI Ludovica Ciardiello, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	LFD-IDS: Bagging-Based Data Poisoning Attacks Against Cyberattack Detection in Connected Vehicle. IEEE Trans. Intell. Transp. Syst. Zahra Pooranian, Rahim Taheri, Fabio Martinelli
2025	—	`conf`	Leveraging Pre-trained LLMs for GDPR Compliance in Online Privacy Policies. ITASEC/SERICS Giovanni Ciaramella, Luca Petrillo, Margaret Varilek, Francesco Mercaldo, Giovanni Comandè, Fabio Martinelli
2025	—	`conf`	On the Detection of Retinal Image Synthesis Obtained Through Generative Adversarial Network. BIOSTEC (1) Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	Optimisation of cyber insurance coverage with selection of cost effective security controls. CoRR Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli, Fabio Massacci
2025	—	`conf`	Security Requirements Classification by Means of Explainable Transformer Models. EuroS&P (Workshops) Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`ed.`	Security and Trust Management - 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings STM Fabio Martinelli, Ruben Rios
2025	—	`conf`	TALLM: A framework for Text Analysis using Large Language Models. ICHI Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	C	`conf`	Towards Quantum Machine Learning in Ransomware Detection. SECRYPT Francesco Mercaldo, Giovanni Ciaramella, Fabio Martinelli, Antonella Santone
2025	B	`conf`	Trusted Platform and Privacy Management in Cyber Physical Systems: The DUCA Framework. DBSec Antonio Muñoz, Javier López, Cristina Alcaraz, Fabio Martinelli
2024	—	`conf`	A Federated Learning-Based Android Malware Detector Through Differential Privacy. EUROCAST (3) Christian Peluso, Giovanni Ciaramella, Francesco Mercaldo, Antonella Santone, Fabio Martinelli
2024	B	`conf`	A Method for AI-generated sentence detection through Large Language Models. KES Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	B	`conf`	A Method for Finding Distance in Real-Time Car Detection through Object Detection. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	A Proposal for Privacy-preserving Ransomware Detection by means of Federated Machine Learning. ERCIM News Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo
2024	J	`jnl`	Alzheimer's Disease Evaluation Through Visual Explainability by Means of Convolutional Neural Networks. Int. J. Neural Syst. Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2024	—	`conf`	An Approach for Privacy-Preserving Mobile Malware Detection Through Federated Machine Learning. ICEIS (1) Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone
2024	C	`conf`	An Edge Server Deployment Strategy for Multi-Objective Optimization in the Internet of Vehicles. ISCC Zhou Zhou, Zahra Pooranian, Mohammad Shojafar, Fabio Martinelli
2024	C	`conf`	Cybersecurity-Related Tweet Classification by Explainable Deep Learning. ICISSP Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	J	`jnl`	Deep Convolutional Generative Adversarial Networks in Image-Based Android Malware Detection. Comput. Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2024	—	`conf`	Detecting Parkinson's Disease Using the Spiral and Wave Drawing Test by Means of Explainable Deep Learning. ICAART (Revised Selected Paper, 2) Antonella Santone, Mario Cesarelli, Fabio Martinelli, Luca Brunese, Francesco Mercaldo
2024	—	`conf`	Detecting Retinal Fundus Image Synthesis by Means of Generative Adversarial Network. BIOSTEC (1) Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2024	—	`conf`	DroidDefender: An Image-based Android Antimalware Proof-of-Concept. CODASPY Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	B	`conf`	Evaluating the Impact of Generative Adversarial Network in Android Malware Detection. ENASE Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Explainable Ransomware Detection with Deep Learning Techniques. J. Comput. Virol. Hacking Tech. Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Extreme Learning Machine for Biomedical Image Classification: A Multi-Case Study. EAI Endorsed Trans. Pervasive Health Technol. Francesco Mercaldo, Luca Brunese, Antonella Santone, Fabio Martinelli, Mario Cesarelli
2024	J	`jnl`	ICSOC 2020 special issue on service-oriented computing. Computing Boualem Benatallah, Hakim Hacid, Eleanna Kafeza, Fabio Martinelli, Athman Bouguettaya
2024	C	`conf`	Leveraging Deep Learning for Intrusion Detection in IoT Through Visualized Network Data. SECRYPT Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	C	`conf`	On the Adoption of Counterexample for Classification Task Explainability. WETICE Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	C	`conf`	On the Adoption of Explainable Deep Learning for Image-Based Network Traffic Classification. SIMULTECH Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Picker Blinder: a framework for automatic injection of malicious inter-app communication. J. Comput. Virol. Hacking Tech. Rosangela Casolare, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	B	`conf`	Real-Time Road Sign Localisation through Object Detection. KES Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2024	—	`conf`	Reliable Leukemia diagnosis and localization through Explainable Deep Learning. IDSTA Marcello Di Giammarco, Benedetta Dukic, Fabio Martinelli, Mario Cesarelli, Fabrizio Ravelli, Antonella Santone, Francesco Mercaldo
2024	B	`conf`	SYNAPSE - An Integrated Cyber Security Risk & Resilience Management Platform, With Holistic Situational Awareness, Incident Response & Preparedness Capabilities: SYNAPSE. ARES 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
2024	—	`conf`	Security Policy Generation and Verification through Large Language Models: A Proposal. CODASPY Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	—	`conf`	Spiral Drawing Test and Explainable Convolutional Neural Networks for Parkinson's Disease Detection. ICAART (2) Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2023	Misc	`conf`	A Driver Detection Method by Means of Explainable Deep Learning. CSR Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	—	`conf`	A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection. FUZZ Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	C	`conf`	A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning. SECRYPT Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	A Privacy-Preserving Solution for Intelligent Transportation Systems: Private Driver DNA. IEEE Trans. Intell. Transp. Syst. Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci
2023	B	`conf`	A Proposal for Trustworthy Artificial Intelligence. IEEE Big Data Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	A deep-learning approach to game bot identification via behavioural features analysis in complex massively-cooperative environments. Int. J. Data Min. Model. Manag. Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2023	J	`jnl`	A survey of human-computer interaction (HCI) & natural habits-based behavioural biometric modalities for user recognition schemes. Pattern Recognit. Sandeep Gupta, Carsten Maple, Bruno Crispo, Kiran B. Raja, Artsiom Yautsiukhin, Fabio Martinelli
2023	C	`conf`	An Explainable Convolutional Neural Network for Dynamic Android Malware Detection. ICISSP Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	B	`conf`	Application of Secure Two-Party Computation in a Privacy-Preserving Android App. ARES Marco De Vincenzi, Ilaria Matteucci, Fabio Martinelli, Stefano Sebastio
2023	C	`conf`	Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis. ICMLA Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	Cyber threat intelligence for critical infrastructure security. Concurr. Comput. Pract. Exp. Oleksii Osliak, Andrea Saracino, Fabio Martinelli, Paolo Mori
2023	B	`conf`	Damage Detection and Localisation using UAV/ Drone with Object Detection. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Data Poisoning Attacks over Diabetic Retinopathy Images Classification. IEEE Big Data Fabio Martinelli, Francesco Mercaldo, Marcello Di Giammarco, Antonella Santone
2023	J	`jnl`	Diabetic retinopathy detection and diagnosis by means of robust and explainable convolutional neural networks. Neural Comput. Appl. Francesco Mercaldo, Marcello Di Giammarco, Arianna Apicella, Giacomo Iadarola, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2023	—	`conf`	Electric Vehicle Security and Privacy: A Comparative Analysis of Charging Methods. VTC2023-Spring Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci
2023	—	`conf`	Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection. FUZZ Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation. Sensors Francesco Mercaldo, Luca Brunese, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2023	B	`conf`	Explainable Deep Learning for Face Mask Detection. KES Mario Cesarelli, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Explainable Deep Learning for Smart Grid Stability Detection. IEEE Big Data Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Exploring Quantum Machine Learning for Explainable Malware Detection. IJCNN Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	—	`conf`	Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model. FUZZ Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	J	`jnl`	Nereus: Anonymous and Secure Ride-Hailing Service Based on Private Smart Contracts. IEEE Trans. Dependable Secur. Comput. Meng Li, Yifei Chen, Chhagan Lal, Mauro Conti, Fabio Martinelli, Mamoun Alazab
2023	B	`conf`	Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning. ARES Francesco Mercaldo, Giovanni Ciaramella, Antonella Santone, Fabio Martinelli
2023	B	`conf`	Object Detection and Localisation in Thermal Images by means of UAV/Drone. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. ERCIM News Daniele Albanese, Giuseppe Crincoli, Marco De Vincenzi, Giacomo Iadarola, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2023	C	`conf`	StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation. ICISSP Daniele Albanese, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone
2023	J	`jnl`	TriAD: A Deep Ensemble Network for Alzheimer Classification and Localization. IEEE Access Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2023	J	`jnl`	Water Meter Reading for Smart Grid Monitoring. Sensors Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	—	`conf`	μIPS: Software-Based Intrusion Prevention for Bare-Metal Embedded Systems. ESORICS (4) Luca Degani, Majid Salehi, Fabio Martinelli, Bruno Crispo
2022	J	`jnl`	2Faces: a new model of malware based on dynamic compiling and reflection. J. Comput. Virol. Hacking Tech. Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone
2022	B	`conf`	A Method for Intrusion Detection in Smart Grid. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	A Model Checking-based Approach to Malicious Family Detection in iOS Environment. KES Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. SECRYPT Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone
2022	—	`conf`	Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps. STM Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	B	`conf`	Blood Cells Counting and Localisation through Deep Learning Object Detection. IEEE Big Data Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2022	C	`conf`	COVID-19 Detection from Cough Recording by means of Explainable Deep Learning. ICMLA Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tavone
2022	C	`conf`	Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning. ICMLA Giovanni Ciaramella, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning: A Proposal. IEEE Big Data Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification. BIBE Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	Deep learning for blood cells classification and localisation. ICMV Francesco Mercaldo, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2022	A	`conf`	Designing Robust Deep Learning Classifiers for Image-based Malware Analysis. ICDCS Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	J	`jnl`	Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2022	B	`conf`	Drone Audio recognition based on Machine Learning Techniques. KES Giovanni Lacava, Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Pizzi
2022	—	`conf`	Emotion Recognition from Facial Expression using Explainable Deep Learning. DASC/PiCom/CBDCom/CyberSciTech Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	A	`conf`	Explainable Deep Learning Methodologies for Biomedical Images Classification. ICDCS Marcello Di Giammarco, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	—	`conf`	Explainable Deep Learning for Alzheimer Disease Classification and Localisation. AII Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Fabrizio Ravelli, Antonella Santone
2022	B	`conf`	Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping. IJCNN Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	J	`jnl`	Exploiting If This Then That and Usage Control obligations for Smart Home security and management. Concurr. Comput. Pract. Exp. Giacomo Giorgi, Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino
2022	J	`jnl`	Fighting Cybercrime by Introducing Trustworthiness and Interpretability in Deep Learning Malware Detection. ERCIM News Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo
2022	Misc	`conf`	Generative adversarial networks for subdomain enumeration. SAC Luca Degani, Francesco Bergadano, Seyed Ali Mirheidari, Fabio Martinelli, Bruno Crispo
2022	B	`conf`	High Grade Brain Cancer Segmentation by means of Deep Learning. KES Marcello Di Giammarco, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	Introducing Quantum Computing in Mobile Malware Detection. ARES Giovanni Ciaramella, Giacomo Iadarola, Francesco Mercaldo, Marco Storto, Antonella Santone, Fabio Martinelli
2022	C	`conf`	Machine Learning for Uterine Cervix Screening. BIBE Francesco Mercaldo, Xiaoli Zhou, Pan Huang, Fabio Martinelli, Antonella Santone
2022	C	`conf`	On the Influence of Image Settings in Deep Learning-based Malware Detection. ICISSP Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P.
2022	B	`conf`	On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection. KES Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tommasone
2022	J	`jnl`	Privacy preserving data sharing and analysis for edge-based architectures. Int. J. Inf. Sec. Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra
2022	—	`conf`	Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet
2022	J	`jnl`	RiderAuth: A cancelable touch-signature based rider authentication scheme for driverless taxis. J. Inf. Secur. Appl. Sandeep Gupta, Kiran B. Raja, Fabio Martinelli, Bruno Crispo
2022	B	`conf`	Smart Grid monitoring through Deep Learning for Image-based Automatic Dial Meter Reading. IEEE Big Data Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	—	`conf`	Timed Automata Networks for SCADA Attacks Real-Time Mitigation. KES-IDT Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	—	`conf`	Vulnerable Smart Contract Detection by Means of Model Checking. BSCI Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	—	`conf`	A Framework for Supporting Ransomware Detection and Prevention Based on Hybrid Analysis. ICCSA (3) Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli
2021	—	`conf`	A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis. ICCSA (3) Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli
2021	—	`conf`	A Neural-Network-Based Framework for Supporting Driver Classification and Analysis. ICCSA (3) Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli
2021	B	`conf`	A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. IJCNN Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2021	B	`conf`	A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. IJCNN Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone
2021	B	`conf`	Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. KES Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Comput. Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino
2021	—	`conf`	Automated Intention Mining with Comparatively Fine-tuning BERT. NLPIR Xuan Sun, Luqun Li, Francesco Mercaldo, Yichen Yang, Antonella Santone, Fabio Martinelli
2021	C	`conf`	Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Cybsersecurity Issues in Robotics. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Giovanni Lacava, Angelica Marotta, Fabio Martinelli, Andrea Saracino, Antonio La Marra, Endika Gil-Uriarte, Victor Mayoral Vilches
2021	B	`conf`	Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. KES Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	B	`conf`	Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. KES Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone
2021	—	`conf`	Handling Meta Attribute Information in Usage Control Policies (Short Paper). ETAA Theo Dimitrakos, Tezcan Dilshener, Alexander Kravtsov, Antonio La Marra, Fabio Martinelli, Athanasios Rizos, Alessandro Rosetti
2021	—	`ch.`	Information Security and Privacy - Challenges and Outlook. IFIP's Exciting First 60+ Years 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
2021	C	`conf`	Mobile Family Detection through Audio Signals Classification. SECRYPT Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Optimisation of cyber insurance coverage with selection of cost effective security controls. Comput. Secur. Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli, Fabio Massacci
2021	—	`conf`	Perturbation of Image-based Malware Detection with Smali level morphing techniques. ISPA/BDCloud/SocialCom/SustainCom Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2021	J	`jnl`	Privacy for 5G-Supported Vehicular Networks. IEEE Open J. Commun. Soc. Meng Li, Liehuang Zhu, Zijian Zhang, Chhagan Lal, Mauro Conti, Fabio Martinelli
2021	B	`conf`	Robust Malware Classification via Deep Graph Networks on Call Graph Topologies. ESANN Federico Errica, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Alessio Micheli
2021	B	`conf`	SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications. ARES Rosangela Casolare, Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	C	`conf`	Towards Collaborative Cyber Threat Intelligence for Security Management. ICISSP Oleksii Osliak, Andrea Saracino, Fabio Martinelli, Theo Dimitrakos
2021	J	`jnl`	Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Using recurrent neural networks for continuous authentication through gait analysis. Pattern Recognit. Lett. Giacomo Giorgi, Andrea Saracino, Fabio Martinelli
2021	B	`conf`	Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. KES Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2020	—	`conf`	A Comparison Among Policy Editors for Attributed Based Access Control Model. ETAA@ESORICS Fabio Martinelli, Christina Michailidou, Oleksii Osliak, Alessandro Rosetti, Antonio La Marra, Theo Dimitrakos
2020	B	`conf`	A Deep-Learning-Based Framework for Supporting Analysis and Detection of Attacks on CAN Buses. KES Alfredo Cuzzocrea, Francesco Mercaldo, Fabio Martinelli
2020	C	`conf`	Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	C	`conf`	Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	C	`conf`	Bank Credit Risk Management based on Data Mining Techniques. ICISSP Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
2020	B	`conf`	Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	—	`conf`	Colluding Android Apps Detection via Model Checking. AINA Workshops Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2020	J	`jnl`	D-BRIDEMAID: A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Antonio La Marra, Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Mina Sheikhalishahi
2020	B	`conf`	Deep learning for heart disease detection through cardiac sounds. KES Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Digital Waste Disposal: an automated framework for analysis of spam emails. Int. J. Inf. Sec. Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra, Mohammed Mejri, Nadia Tawbi
2020	C	`conf`	Email Spoofing Attack Detection through an End to End Authorship Attribution System. ICISSP Giacomo Giorgi, Andrea Saracino, Fabio Martinelli
2020	—	`conf`	Emotions and Interests of Evolving Twitter Bots. EAIS Michela Fazzolari, Manuel Pratelli, Fabio Martinelli, Marinella Petrocchi
2020	—	`conf`	End to End Autorship Email Verification Framework for a Secure Communication. ICISSP (Revised Selected Papers) Giacomo Giorgi, Andrea Saracino, Fabio Martinelli
2020	B	`conf`	Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone
2020	—	`conf`	Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
2020	C	`conf`	Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Improving security in industry 4.0 by extending OPC-UA with usage control. ARES Fabio Martinelli, Oleksii Osliak, Paolo Mori, Andrea Saracino
2020	J	`jnl`	LoSeRO: A Locality Sensitive Routing Protocol in Opportunistic Networks with Contact Profiles. IEEE Trans. Mob. Comput. Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi
2020	—	`conf`	Machine Learning for Driver Detection through CAN bus. VTC Spring Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Machine learning for coronavirus covid-19 detection from chest x-rays. KES Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Model checking and machine learning techniques for Simul. Model. Pract. Theory Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2020	—	`conf`	Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
2020	J	`jnl`	Pushing Forward Security in Network Slicing by Leveraging Continuous Usage Control. IEEE Commun. Mag. Barbara Martini, Paolo Mori, Francesco Marino, Andrea Saracino, Alessio Lunardelli, Antonio La Marra, Fabio Martinelli, Piero Castoldi
2020	A	`ed.`	Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings ICSOC Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari
2020	J	`jnl`	Session-dependent Usage Control for Big Data. J. Internet Serv. Inf. Secur. Gabriele Baldi, Yair Diaz-Tellez, Theo Dimitrakos, Fabio Martinelli, Christina Michailidou, Paolo Mori, Oleksii Osliak, Andrea Saracino
2020	J	`jnl`	Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2020	—	`conf`	Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Trust Aware Continuous Authorization for Zero Trust in Consumer Internet of Things. TrustCom Theo Dimitrakos, Tezcan Dilshener, Alexander Kravtsov, Antonio La Marra, Fabio Martinelli, Athanasios Rizos, Alessandro Rosetti, Andrea Saracino
2020	B	`conf`	VisualDroid: automatic triage and detection of Android repackaged applications. ARES Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	alurity, a toolbox for robot cybersecurity. CoRR 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
2019	J	`jnl`	A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	A	`conf`	A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	—	`ch.`	A Distributed Usage Control Framework for Industrial Internet of Things. Security and Privacy Trends in the Industrial Internet of Thing Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
2019	—	`conf`	A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services. STAST Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Paolo Santi
2019	C	`conf`	A machine-learning framework for supporting intelligent web-phishing detection and analysis. IDEAS Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2019	J	`jnl`	A scheme for the sticky policy representation supporting secure cyber-threat intelligence analysis and sharing. Inf. Comput. Secur. Oleksii Osliak, Andrea Saracino, Fabio Martinelli
2019	—	`conf`	An Innovative Framework for Supporting Social Network Polluting-content Detection and Analysis. ICEIS (2) Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2019	B	`conf`	Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	J	`jnl`	Classification of ransomware families with machine learning based on N-gram of opcodes. Future Gener. Comput. Syst. Hanqi Zhang, Xi Xiao, Francesco Mercaldo, Shiguang Ni, Fabio Martinelli, Arun Kumar Sangaiah
2019	—	`conf`	Cyber Insurance and Time-to-Compromise: An Integrated Approach. CyberSA Ganbayar Uuganbayar, Fabio Massacci, Artsiom Yautsiukhin, Fabio Martinelli
2019	B	`conf`	Demonstration of secure slicing using ETSI MANO enhanced with Usage Control Capability. NetSoft Antonio La Marra, Alessio Lunardelli, Fabio Martinelli, Paolo Mori, Andrea Saracino, Piero Castoldi, Francesco Marino, Barbara Martini
2019	—	`conf`	Distributed Data Anonymization. DASC/PiCom/DataCom/CyberSciTech Fabio Martinelli, Mina Sheikh Alishahi
2019	—	`conf`	Distributed UCON in CoAP and MQTT Protocols. CyberICPS/SECPRE/SPOSE/ADIoT@ESORICS Athanasios Rizos, Daniel Bastos, Andrea Saracino, Fabio Martinelli
2019	J	`jnl`	Dynamic malware detection and phylogeny analysis using process mining. Int. J. Inf. Sec. Mario Luca Bernardi, Marta Cimitile, Damiano Distante, Fabio Martinelli, Francesco Mercaldo
2019	B	`conf`	Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Enhancing Security in ETSI Open Source MANO with Usage Control Capability. IM Antonio La Marra, Alessio Lunardelli, Fabio Martinelli, Paolo Mori, Andrea Saracino, Piero Castoldi, Francesco Martino, Barbara Martini
2019	—	`conf`	Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Keystroke Analysis for User Identification using Deep Neural Networks. IJCNN Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2019	J	`jnl`	LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2019	—	`conf`	Managing QoS in Smart Buildings Through Software Defined Network and Usage Control. PerCom Workshops Fabio Martinelli, Christina Michailidou, Paolo Mori, Andrea Saracino
2019	J	`jnl`	Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	B	`conf`	Model Checking for Data Anomaly Detection. KES Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	Misc	`conf`	Model Checking to Detect the Hummingbad Malware. IDC Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2019	C	`conf`	Obligation Management in Usage Control Systems. PDP Fabio Martinelli, Paolo Mori, Andrea Saracino, Francesco Di Cerbo
2019	—	`conf`	On the Statistical Detection of Adversarial Instances over Encrypted Data. STM Mina Sheikhalishahi, Majid Nateghizad, Fabio Martinelli, Zekeriya Erkin, Marco Loog
2019	J	`jnl`	On the effectiveness of system API-related information for Android ransomware detection. Comput. Secur. Michele Scalas, Davide Maiorca, Francesco Mercaldo, Corrado Aaron Visaggio, Fabio Martinelli, Giorgio Giacinto
2019	Misc	`conf`	Privacy-Preserving LDA Classification over Horizontally Distributed Data. IDC Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
2019	C	`conf`	Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2019	B	`conf`	Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	C	`conf`	Spyware Detection using Temporal Logic. ICISSP Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	J	`jnl`	Upper triangular matrix walk: Cutoff for finitely many columns. Random Struct. Algorithms Shirshendu Ganguly, Fabio Martinelli
2019	—	`conf`	User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone
2019	C	`conf`	Using IFTTT to Express and Enforce UCON Obligations. ISPEC Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino
2019	C	`conf`	Wearable Devices for Human Activity Recognition and User Detection. PDP Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2018	—	`conf`	A Declarative Data Protection Approach: From Human-Readable Policies to Automatic Enforcement. WEBIST (Revised Selected Papers) Francesco Di Cerbo, Alessio Lunardelli, Ilaria Matteucci, Fabio Martinelli, Paolo Mori
2018	B	`conf`	A Novel Structural-Entropy-based Classification Technique for Supporting Android Ransomware Detection and Analysis. FUZZ-IEEE Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2018	C	`conf`	A Secure Distributed Framework for Agglomerative Hierarchical Clustering Construction. PDP Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli
2018	J	`jnl`	A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2018	B	`conf`	An Ensemble Fuzzy Logic Approach to Game Bot Detection through Behavioural Features. FUZZ-IEEE Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2018	J	`jnl`	An exploratory study on the evolution of Android malware quality. J. Softw. Evol. Process. Francesco Mercaldo, Andrea Di Sorbo, Corrado Aaron Visaggio, Aniello Cimitile, Fabio Martinelli
2018	—	`conf`	Applying Deep Learning Techniques to CAN Bus Attacks for Supporting Identification and Analysis Tasks. ICETE (2) Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2018	C	`conf`	Applying Machine Learning Techniques to Detect and Analyze Web Phishing Attacks. iiWAS Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2018	—	`conf`	CANDY: A Social Engineering Attack to Leak Information from Infotainment System. VTC Spring Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci
2018	C	`conf`	CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. PDP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Antonia Bertolino, Antonello Calabrò, Eda Marchetti
2018	C	`conf`	Cluster Analysis for Driver Aggressiveness Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	—	`conf`	Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	—	`conf`	Cyber Insurance and Security Interdependence: Friends or Foes? CyberSA Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli
2018	B	`conf`	Detecting and Analyzing Anomalies Across Historical Data Changes: A Data-Driven Approach. ICTAI Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2018	B	`conf`	Detection of Obfuscation Techniques in Android Applications. ARES Alessandro Bacci, Alberto Bartoli, Fabio Martinelli, Eric Medvet, Francesco Mercaldo
2018	B	`conf`	Driver Identification: a Time Series Classification Approach. IJCNN Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2018	—	`conf`	Enhancing Usage Control for Performance: A Proposal for Systems of Systems (Research Poster). HPCS Vasileios Gkioulos, Athanasios Rizos, Christina Michailidou, Fabio Martinelli, Paolo Mori
2018	J	`jnl`	Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
2018	J	`jnl`	Experimenting and assessing machine learning tools for detecting and analyzing malicious behaviors in complex environments. J. Reliab. Intell. Environ. Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, Giorgio Mario Grasso
2018	C	`conf`	Getmewhere: A Location-Based Privacy-Preserving Information Service. PDP Giampaolo Bella, Francesco Marino, Gianpiero Costantino, Fabio Martinelli
2018	C	`conf`	Identifying Insecure Features in Android Applications using Model Checking. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone
2018	C	`conf`	Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis. ICISSP Alessandro Bacci, Alberto Bartoli, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Corrado Aaron Visaggio
2018	—	`conf`	Improving Machine Learning Tools with Embeddings: Applications to Big Data Security. IEEE BigData Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo
2018	B	`conf`	Improving Vehicle Safety Through a Fog Collaborative Infrastructure. SMARTCOMP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Francesco Mercaldo
2018	J	`jnl`	MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention. IEEE Trans. Dependable Secur. Comput. Andrea Saracino, Daniele Sgandurra, Gianluca Dini, Fabio Martinelli
2018	—	`conf`	Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2018	Misc	`conf`	Optimal Security Configuration for Cyber Insurance. SEC Fabio Martinelli, Ganbayar Uuganbayar, Artsiom Yautsiukhin
2018	A	`conf`	POSTER: A Framework for Phylogenetic Analysis in Mobile Environment. AsiaCCS Fabio Martinelli, Francesco Mercaldo, Andrea Saracino
2018	—	`conf`	Phylogenetic Analysis for Ransomware Detection and Classification into Families. ICETE (2) Fabio Martinelli, Francesco Mercaldo, Christina Michailidou, Andrea Saracino
2018	—	`conf`	Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots. TrustCom/BigDataSE Andrea Saracino, Francesco Restuccia, Fabio Martinelli
2018	J	`jnl`	Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots. CoRR Francesco Restuccia, Andrea Saracino, Fabio Martinelli
2018	—	`conf`	Privacy Preserving Collaborative Agglomerative Hierarchical Clustering Construction. ICISSP (Revised Selected Papers) Mina Sheikhalishahi, Mona Hamidi, Fabio Martinelli
2018	—	`conf`	Privacy Preserving Distributed Attribute Computation for Usage Control in the Internet of Things. TrustCom/BigDataSE Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
2018	B	`conf`	Privacy Preserving Distributed Computation of Private Attributes for Collaborative Privacy Aware Usage Control Systems. SMARTCOMP Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
2018	Misc	`conf`	Privacy Preserving Expectation Maximization (EM) Clustering Construction. DCAI Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli
2018	—	`conf`	Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data. DASC/PiCom/DataCom/CyberSciTech Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
2018	J	`jnl`	R-PackDroid: Practical On-Device Detection of Android Ransomware. CoRR Michele Scalas, Davide Maiorca, Francesco Mercaldo, Corrado Aaron Visaggio, Fabio Martinelli, Giorgio Giacinto
2018	—	`conf`	Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2018	J	`jnl`	Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2018	C	`conf`	Safety Critical Systems Formal Verification Using Execution Traces. WETICE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2018	C	`conf`	Secure Two-party Agglomerative Hierarchical Clustering Construction. ICISSP Mona Hamidi, Mina Sheikhalishahi, Fabio Martinelli
2018	—	`conf`	Too Long, did not Enforce: A Qualitative Hierarchical Risk-Aware Data Usage Control Model for Complex Policies in Distributed Environments. CPSS@AsiaCCS Fabio Martinelli, Christina Michailidou, Paolo Mori, Andrea Saracino
2018	—	`conf`	Towards General Scheme for Data Sharing Agreements Empowering Privacy-Preserving Data Analysis of Structured CTI. CyberICPS/SECPRE@ESORICS Fabio Martinelli, Oleksii Osliak, Andrea Saracino
2018	C	`conf`	Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. WEBIST Francesco Di Cerbo, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2018	C	`conf`	VizMal: A Visualization Tool for Analyzing the Behavior of Android Malware. ICISSP Alessandro Bacci, Fabio Martinelli, Eric Medvet, Francesco Mercaldo
2018	Misc	`conf`	Walking Through the Deep: Gait Analysis for User Authentication Through Deep Learning. SEC Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
2018	C	`conf`	Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2017	C	`conf`	A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware. PDP Mario Faiella, Antonio La Marra, Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Mina Sheikhalishahi
2017	—	`conf`	A Machine Learning Approach for Game Bot Detection Through Behavioural Features. ICSOFT (Selected Papers) Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2017	B	`conf`	A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2017	B	`conf`	A fuzzy-based process mining approach for dynamic malware detection. FUZZ-IEEE Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2017	—	`conf`	A time series classification approach to game bot detection. WIMS Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2017	C	`conf`	Analysis of Data Sharing Agreements. ICISSP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
2017	A	`conf`	BRIDEMAID: An Hybrid Tool for Accurate Detection of Android Malware. AsiaCCS Fabio Martinelli, Francesco Mercaldo, Andrea Saracino
2017	B	`conf`	Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Concurrent History-based Usage Control Policies. MODELSWARD Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
2017	J	`jnl`	Cyber-insurance survey. Comput. Sci. Rev. Angelica Marotta, Fabio Martinelli, Stefano Nanni, Albina Orlando, Artsiom Yautsiukhin
2017	—	`conf`	Efficient Detection of Conflicts in Data Sharing Agreements. ICISSP (Revised Selected Papers) Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
2017	B	`conf`	Evaluating Convolutional Neural Network for Effective Mobile Malware Detection. KES Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo
2017	—	`conf`	Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection. FPS Alberto Ferrante, Miroslaw Malek, Fabio Martinelli, Francesco Mercaldo, Jelena Milosevic
2017	C	`conf`	Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Game Bot Detection in Online Role Player Game through Behavioural Features. ICSOFT Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
2017	A	`conf`	How Discover a Malware using Model Checking. AsiaCCS Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	Misc	`ed.`	ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings SEC Sabrina De Capitani di Vimercati, Fabio Martinelli
2017	C	`conf`	Identifying Mobile Repackaged Applications through Formal Methods. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2017	—	`conf`	Implementing Usage Control in Internet of Things: A Smart Home Use Case. TrustCom/BigDataSE/ICESS Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
2017	—	`conf`	Improving MQTT by Inclusion of Usage Control. SpaCCS Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino
2017	—	`conf`	Introducing Usage Control in MQTT. CyberICPS/SECPRE@ESORICS Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino
2017	C	`conf`	Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment. ICISSP Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo
2017	B	`conf`	Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Mobile Silent and Continuous Authentication using Apps Sequence. SECRYPT Gerardo Canfora, Giovanni Cappabianca, Pasquale Carangelo, Fabio Martinelli, Francesco Mercaldo, Ernesto Rosario Russo, Corrado Aaron Visaggio
2017	—	`conf`	Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2017	C	`conf`	Preventing the Drop in Security Investments for Non-competitive Cyber-Insurance Market. CRiSIS Fabio Martinelli, Albina Orlando, Ganbayar Uuganbayar, Artsiom Yautsiukhin
2017	—	`conf`	Privacy Preserving Hierarchical Clustering over Multi-party Data Distribution. SpaCCS Mina Sheikhalishahi, Fabio Martinelli
2017	C	`conf`	Privacy preserving clustering over horizontal and vertical partitioned data. ISCC Mina Sheikhalishahi, Fabio Martinelli
2017	C	`conf`	Privacy-Utility Feature Selection as a Privacy Mechanism in Collaborative Data Classification. WETICE Mina Sheikhalishahi, Fabio Martinelli
2017	Misc	`conf`	Privacy-Utility Feature Selection as a tool in Private Data Classification. DCAI Mina Sheikhalishahi, Fabio Martinelli
2017	C	`conf`	Privacy-preserving text mining as a service. ISCC Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
2017	J	`jnl`	Private mobility-cast for opportunistic networks. Comput. Networks Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi
2017	Misc	`conf`	R-PackDroid: API package-based characterization and detection of mobile ransomware. SAC Davide Maiorca, Francesco Mercaldo, Giorgio Giacinto, Corrado Aaron Visaggio, Fabio Martinelli
2017	C	`conf`	Reputation Systems to Mitigate DoS Attack in Vehicular Network. CRITIS Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
2017	—	`conf`	Smart Parental Advisory: A Usage Control and Deep Learning-Based Framework for Dynamic Parental Control on Smart TV. STM Giacomo Giorgi, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
2017	J	`jnl`	Stateful Data Usage Control for Android Mobile Devices. Int. J. Inf. Sec. Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino
2017	—	`conf`	Tor traffic analysis and detection via machine learning techniques. IEEE BigData Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, Gianni Viardo Vercelli
2017	—	`conf`	Trade-off analysis of safety and security in CAN bus communication. MT-ITS Luca Dariz, Michele Selvatici, Massimiliano Ruggeri, Gianpiero Costantino, Fabio Martinelli
2017	—	`conf`	Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning. SAFECOMP Workshops Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
2016	—	`conf`	A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2016	Misc	`conf`	A multi-criteria ranking of security countermeasures. SAC Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2016	Misc	`conf`	Automated adaptation via quantitative partial model checking. SAC Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci
2016	B	`conf`	Collaborative Attribute Retrieval in Environment with Faulty Attribute Managers. ARES Mario Faiella, Fabio Martinelli, Paolo Mori, Andrea Saracino, Mina Sheikhalishahi
2016	J	`jnl`	Cybersecurity - Introduction to the Special Theme. ERCIM News Fabio Martinelli, Edgar R. Weippl
2016	—	`ed.`	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 DPM/QASA@ESORICS Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016	—	`ed.`	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 DPM/QASA@ESORICS Joaquín García-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016	C	`conf`	Data-Sluice: Fine-grained traffic control for Android application. ISCC Andrea Saracino, Fabio Martinelli, Gaetano Alboreto, Gianluca Dini
2016	—	`conf`	Enforcement of U-XACML History-Based Usage Control Policy. STM Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
2016	Misc	`conf`	Enhancing Android permission through usage control: a BYOD use-case. SAC Fabio Martinelli, Paolo Mori, Andrea Saracino
2016	J	`jnl`	Enhancing Video Surveillance with Usage Control and Privacy-Preserving Solutions. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Enrico Carniani, Gianpiero Costantino, Francesco Marino, Fabio Martinelli, Paolo Mori
2016	—	`conf`	Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
2016	—	`ed.`	Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures FOSAD Alessandro Aldini, Javier López, Fabio Martinelli
2016	C	`conf`	I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware. PST Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Corrado Aaron Visaggio
2016	C	`conf`	LVS: A WiFi-based system to tackle Location Spoofing in location-based services. WoWMoM Francesco Restuccia, Andrea Saracino, Sajal K. Das, Fabio Martinelli
2016	Misc	`conf`	LoSeRO: a locality sensitive routing protocol in opportunistic networks. SAC Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi
2016	—	`conf`	MalProfiler: Automatic and Effective Classification of Android Malicious Apps in Behavioral Classes. FPS Antonio La Marra, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
2016	—	`conf`	Modeling Privacy Aware Information Sharing Systems: A Formal and General Approach. Trustcom/BigDataSE/ISPA Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi
2016	—	`conf`	On Probabilistic Application Compliance. Trustcom/BigDataSE/ISPA Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini
2016	B	`conf`	Practical Privacy-Preserving Medical Diagnosis Using Homomorphic Encryption. CLOUD Sergiu Carpov, Thanh-Hai Nguyen, Renaud Sirdey, Gianpiero Costantino, Fabio Martinelli
2016	—	`conf`	Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. FPS Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2016	—	`conf`	Security by Insurance for Services. QRS Companion Fabio Martinelli, Artsiom Yautsiukhin
2016	C	`conf`	Towards a Usage Control Based Video Surveillance Framework. PDP Enrico Carniani, Gianpiero Costantino, Francesco Marino, Fabio Martinelli, Paolo Mori
2016	J	`jnl`	Usage Control on Cloud systems. Future Gener. Comput. Syst. Enrico Carniani, Davide D'Arenzo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2015	J	`jnl`	A quality model for social networks populated with web services. Serv. Oriented Comput. Appl. Noura Faci, Marinella Petrocchi, Gianpiero Costantino, Fabio Martinelli, Zakaria Maamar
2015	J	`jnl`	AntiCheetah: Trustworthy computing in an outsourced (cheating) environment. Future Gener. Comput. Syst. Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra
2015	—	`conf`	Business Reputation of Social Networks of Web Services. FNC/MobiSPC Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli
2015	—	`ed.`	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 DPM/SETOP/QASA Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2015	J	`jnl`	Detection of repackaged mobile applications through a collaborative approach. Concurr. Comput. Pract. Exp. Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2015	—	`conf`	Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. STM Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015	J	`jnl`	Dynamics of Lattice Triangulations on Thin Rectangles. CoRR Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer
2015	—	`conf`	Fast and Effective Clustering of Spam Emails Based on Structural Similarity. FPS Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015	B	`conf`	Location-Based Routing for Opportunistic Networks. MASS Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi
2015	C	`conf`	Network security supported by arguments. PST Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin
2015	—	`conf`	Preserving QoI in participatory sensing by tackling location-spoofing through mobile WiFi hotspots. PerCom Workshops Francesco Restuccia, Andrea Saracino, Sajal K. Das, Fabio Martinelli
2015	C	`conf`	Privacy-Preserving Energy-Reading for Smart Meter. ICOST Gianpiero Costantino, Fabio Martinelli
2015	J	`jnl`	Probabilistic cost enforcement of security policies. J. Comput. Secur. Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2015	—	`conf`	Semiring-based Specification Approaches for Quantitative Security. QAPL Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2015	—	`conf`	Sharing Data through Confidential Clouds: An Architectural Perspective. TELERISE@ICSE Daniele Sgandurra, Francesco Di Cerbo, Slim Trabelsi, Fabio Martinelli, Emil C. Lupu
2015	—	`conf`	There are Two Sides to Every Question - Controller Versus Attacker. Programming Languages with Applications to Biology and Security Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2014	B	`conf`	An Improved Role-Based Access to Android Applications with JCHR. ARES Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini
2014	—	`conf`	Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud. IEEE Symposium on Security and Privacy Workshops Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori
2014	J	`jnl`	Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
2014	—	`conf`	Debating Cybersecurity or Securing a Debate? - (Position Paper). FPS Fabio Martinelli, Francesco Santini
2014	—	`conf`	Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis. SmartGridSec Kristian Beckers, Maritta Heisel, Leanid Krautsevich, Fabio Martinelli, Rene Meis, Artsiom Yautsiukhin
2014	—	`conf`	Enforcing Mobile Application Security Through Probabilistic Contracts. ESSoS Doctoral Symposium Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2014	—	`book`	Engineering Secure Future Internet Services and Systems - Current Research Engineering Secure Future Internet Services and Systems Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli
2014	—	`conf`	Evaluation of Risk for Complex Systems Using Attack Surface. ISSRE Workshops Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2014	—	`ed.`	Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures FOSAD Alessandro Aldini, Javier López, Fabio Martinelli
2014	J	`jnl`	Investigating the Privacy versus Forwarding Accuracy Tradeoff in OpportunisticInterest-Casting. IEEE Trans. Mob. Comput. Gianpiero Costantino, Fabio Martinelli, Paolo Santi
2014	—	`conf`	On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2014	—	`ch.`	On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
2014	C	`conf`	Privacy-preserving mobility-casting in opportunistic networks. PST Gianpiero Costantino, Fabio Martinelli, Paolo Santi
2014	—	`ed.`	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. ESSoS Doctoral Symposium Wouter Joosen, Fabio Martinelli, Thomas Heyman
2014	B	`conf`	Reputation-Based Composition of Social Web Services. AINA Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
2014	—	`conf`	Stateful Usage Control for Android Mobile Devices. STM Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino
2014	J	`jnl`	Testing of PolPA-based usage control systems. Softw. Qual. J. Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori
2014	B	`conf`	Usage Control in Cloud Federations. IC2E Gaetano F. Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Aliaksandr Lazouski, Fabio Martinelli, Gaetano Mancini, Paolo Mori
2014	—	`conf`	Using Incentives to Analyze Social Web Services' Behaviors. WISE Workshops Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli
2013	J	`jnl`	A Survey on Security for Mobile Devices. IEEE Commun. Surv. Tutorials Mariantonietta Noemi La Polla, Fabio Martinelli, Daniele Sgandurra
2013	—	`conf`	A collaborative framework for generating probabilistic contracts. CTS Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini
2013	—	`conf`	AntiCheetah: An Autonomic Multi-round Approach for Reliable Computing. UIC/ATC Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra
2013	—	`conf`	Are photos on Social Networks really private? CTS Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra
2013	B	`conf`	Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2013	—	`conf`	CheR: Cheating Resilience in the Cloud via Smart Resource Allocation. FPS Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra
2013	—	`conf`	Classifying Android Malware through Subgraph Mining. DPM/SETOP Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2013	J	`jnl`	Cost-Effective Enforcement of Access and Usage Control Policies Under Uncertainties. IEEE Syst. J. Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2013	—	`conf`	Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2013	—	`conf`	Formal Analysis of Security Metrics with Defensive Actions. UIC/ATC Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2013	C	`conf`	How to grant less permissions to facebook applications. IAS Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra
2013	B	`conf`	Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies. ICCCN Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin
2013	—	`conf`	Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2013	—	`conf`	Multi-dimensional Secure Service Orchestration. Business Process Management Workshops Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
2013	—	`conf`	Partial Model Checking for the Verification and Synthesis of Secure Service Compositions. EuroPKI Fabio Martinelli, Ilaria Matteucci
2013	J	`jnl`	Privacy-Preserving Interest-Cast for Android Smartphones. ERCIM News Gianpiero Costantino, Fabio Martinelli, Paolo Santi
2013	B	`conf`	Probabilistic Contract Compliance for Mobile Applications. ARES Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2013	—	`conf`	Probabilistic Cost Enforcement of Security Policies. STM Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2013	—	`conf`	Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2013	A*	`conf`	Random lattice triangulations: structure and algorithms. STOC Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer
2013	—	`conf`	Remote Policy Enforcement for Trusted Application Execution in Mobile Environments. INTRUST Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2013	J	`jnl`	Secure and Privacy-Aware Mobile Identity Management. ERCIM News Fabio Martinelli
2013	—	`conf`	Towards Attribute-Based Access Control Policy Engineering Using Risk. RISK@ICTSS Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2013	—	`conf`	Towards Policy Engineering for Attribute-Based Access Control. INTRUST Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2013	C	`conf`	Towards enforcing on-the-fly policies in BYOD environments. IAS Gianpiero Costantino, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2013	—	`ed.`	Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings IFIPTM M. Carmen Fernández Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo
2013	J	`jnl`	Usage control in SIP-based multimedia delivery. Comput. Secur. Georgios Karopoulos, Paolo Mori, Fabio Martinelli
2012	C	`ed.`	7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012 CRiSIS Fabio Martinelli, Jean-Louis Lanet, William M. Fitzgerald, Simon N. Foley
2012	—	`conf`	A Formal Support for Collaborative Data Sharing. CD-ARES Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand
2012	—	`conf`	A Multi-criteria-Based Evaluation of Android Applications. INTRUST Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2012	B	`conf`	A Prototype for Enforcing Usage Control Policies Based on XACML. TrustBus Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2012	C	`conf`	A Quantitative Approach for Inexact Enforcement of Security Policies. ISC Peter Drábik, Fabio Martinelli, Charles Morisset
2012	J	`jnl`	A framework for automatic generation of security controller. Softw. Test. Verification Reliab. Fabio Martinelli, Ilaria Matteucci
2012	J	`jnl`	A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Comput. Math. Appl. Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2012	—	`conf`	A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2012	A*	`conf`	An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. MobiCom Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso
2012	C	`conf`	An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. PST Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso
2012	B	`conf`	Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some Solutions. SRDS Roberto Di Pietro, Fabio Martinelli, Nino Vincenzo Verde
2012	A	`ed.`	Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings ESORICS Sara Foresti, Moti Yung, Fabio Martinelli
2012	C	`conf`	Continuous Authorizations in SIP with Usage Control. PDP Georgios Karopoulos, Paolo Mori, Fabio Martinelli
2012	—	`conf`	Cost-Aware Runtime Enforcement of Security Policies. STM Peter Drábik, Fabio Martinelli, Charles Morisset
2012	—	`conf`	From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2012	—	`conf`	MADAM: A Multi-level Anomaly Detector for Android Malware. MMM-ACNS Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2012	—	`conf`	Metric-Aware Secure Service Orchestration ICE Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
2012	J	`jnl`	Modular plans for secure service composition. J. Comput. Secur. Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2012	—	`conf`	Priorities-Based Review Computation. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
2012	B	`conf`	Privacy-preserving interest-casting in opportunistic networks. WCNC Gianpiero Costantino, Fabio Martinelli, Paolo Santi
2012	—	`conf`	Quantitative access control with partially-observable Markov decision processes. CODASPY Fabio Martinelli, Charles Morisset
2012	J	`jnl`	Synthesis of secure adaptors. J. Log. Algebraic Methods Program. José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
2012	—	`conf`	Testing of PolPA authorization systems. AST@ICSE Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori
2012	—	`conf`	Towards Modelling Adaptive Attacker's Behaviour. FPS Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2012	—	`conf`	Usage control in cloud systems. ICITST Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori
2011	—	`conf`	A Distributed Authorization System with Mobile Usage Control Policies. EUROCAST (1) Fabio Martinelli, Paolo Mori
2011	—	`conf`	A General Method for Assessment of Security in Complex Services. ServiceWave Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2011	J	`jnl`	Convergence to equilibrium of biased plane Partitions. Random Struct. Algorithms Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli
2011	C	`conf`	Cost-effective Enforcement of UCON CRiSIS Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2011	—	`conf`	Engineering Secure Future Internet Services. Future Internet Assembly Wouter Joosen, Javier López, Fabio Martinelli, Fabio Massacci
2011	C	`conf`	Formal Analysis of Security Metrics and Risk. WISTP Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2011	—	`conf`	IMS Session Management Based on Usage Control. STA Giorgos Karopoulos, Fabio Martinelli
2011	—	`conf`	Preserving security properties under refinement. SESS@ICSE Fabio Martinelli, Ilaria Matteucci
2011	—	`conf`	Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin
2011	J	`jnl`	Secure service orchestration in open networks. J. Syst. Archit. Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2011	—	`conf`	Security and Trust. SFM Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
2011	A*	`conf`	Sharp Mixing Time Bounds for Sampling Random Surfaces. FOCS Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli
2011	J	`jnl`	The Multistate Hard Core Model on a Regular Tree. SIAM J. Discret. Math. David J. Galvin, Fabio Martinelli, Kavita Ramanan, Prasad Tetali
2010	C	`conf`	A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2010	—	`ch.`	Access and Usage Control in Grid Systems. Handbook of Information and Communication Security Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2010	—	`conf`	Dependability in dynamic, evolving and heterogeneous systems: the connect approach. SERENE Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi
2010	—	`conf`	Enforcing UCON Policies on the Enterprise Service Bus. OTM Conferences (2) Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli
2010	Misc	`conf`	Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci
2010	J	`jnl`	Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Comput. Commun. Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi
2010	—	`conf`	Formal approach to security metrics.: what does "more secure" mean for you? ECSA Companion Volume Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
2010	—	`conf`	Influence of Attribute Freshness on Decision Making in Usage Control. STM Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2010	J	`jnl`	Mixing Time for the Solid-on-Solid Model CoRR Fabio Martinelli, Alistair Sinclair
2010	—	`conf`	Modular Plans for Secure Service Composition. ARSPA-WITS Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2010	J	`jnl`	On usage control for GRID systems. Future Gener. Comput. Syst. Fabio Martinelli, Paolo Mori
2010	J	`jnl`	Parental Control for Mobile Devices. ERCIM News Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori
2010	—	`ed.`	Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers EuroPKI Fabio Martinelli, Bart Preneel
2010	C	`conf`	Risk-Based Usage Control for Service Oriented Architecture. PDP Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
2010	J	`jnl`	Runtime monitoring for next generation Java ME platform. Comput. Secur. Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter
2010	J	`jnl`	Security-by-Contract-with-Trust for Mobile Devices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci
2010	J	`jnl`	Special issue on security and trust management for dynamic coalitions. Secur. Commun. Networks Theo Dimitrakos, Fabio Martinelli, Bruce Schneier
2010	B	`conf`	Usage Control, Risk and Trust. TrustBus Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin
2010	J	`jnl`	Usage control in computer security: A survey. Comput. Sci. Rev. Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2009	—	`conf`	A Proposal on Enhancing XACML with Continuous Usage Control Features. CoreGRID@Euro-Par Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2009	—	`conf`	Detection of images with adult content for parental control on mobile devices? Mobility Conference Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli
2009	J	`jnl`	Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. Int. J. Inf. Sec. Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
2009	—	`conf`	Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS Fabio Martinelli, Marinella Petrocchi
2009	—	`ed.`	Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Formal Aspects in Security and Trust Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
2009	—	`conf`	Idea: Action Refinement for Security Properties Enforcement. ESSoS Fabio Martinelli, Ilaria Matteucci
2009	C	`ed.`	Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings ISC Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio A. Ardagna
2009	A*	`conf`	Mixing time for the solid-on-solid model. STOC Fabio Martinelli, Alistair Sinclair
2009	—	`conf`	On Usage Control for GRID Services. CSO (1) Maurizio Colombo, Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski
2009	—	`conf`	On Usage Control in Data Grids. IFIPTM Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli
2009	—	`ed.`	Proceedings of the 4th International Workshop on Security and Trust Management, STM@IFIPTM 2008, Trondheim, Norway, June 16-17, 2008 STM@IFIPTM Theodosis Dimitrakos, Fabio Martinelli
2009	J	`jnl`	Securing Java with Local Policies. J. Object Technol. Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
2008	C	`conf`	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA Paolo Greci, Fabio Martinelli, Ilaria Matteucci
2008	—	`conf`	A Runtime Monitoring Environment for Mobile Java. ICST Workshops Fabio Martinelli, Paolo Mori, Thomas B. Quillinan, Christian Schaefer
2008	C	`conf`	A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2008	B	`conf`	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
2008	B	`conf`	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2008	C	`conf`	Enhancing Java ME Security Support with Resource Usage Monitoring. ICICS Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti
2008	J	`jnl`	Enhancing Java ME Security Support with Resource Usage Monitoring. ERCIM News Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter
2008	—	`conf`	Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese
2008	J	`jnl`	Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
2008	C	`conf`	Mobile Implementation and Formal Verification of an e-Voting System. ICIW Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2008	—	`conf`	Preface. STM@IFIPTM Theodosis Dimitrakos, Fabio Martinelli
2008	—	`conf`	Signed and Weighted Trust Credentials in Fraglets. BIONETICS Fabio Martinelli, Marinella Petrocchi
2008	B	`conf`	Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES Fabio Martinelli, Ilaria Matteucci
2008	—	`conf`	Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
2008	B	`conf`	Weighted Datalog and Levels of Trust. ARES Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2007	C	`conf`	A model for usage control in GRID systems. SecureComm Fabio Martinelli
2007	C	`conf`	A model for usage control in GRID systems. SecureComm Fabio Martinelli, Paolo Mori
2007	—	`conf`	Access Control Mechanisms for Fraglets. BIONETICS Fabio Martinelli, Marinella Petrocchi
2007	—	`conf`	Enhancing Java Security with History Based Access Control. FOSAD Fabio Martinelli, Paolo Mori
2007	—	`conf`	Extending the Globus Architecture with Role-Based Trust Management. EUROCAST Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2007	J	`jnl`	Fast mixing for independent sets, colorings, and other models on trees. Random Struct. Algorithms Fabio Martinelli, Alistair Sinclair, Dror Weitz
2007	—	`conf`	Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli
2007	—	`ed.`	Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	J	`jnl`	Formal Modelling and Verification in Service-Oriented Computing. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi
2007	J	`jnl`	Guest Editors' Preface. Int. J. Inf. Sec. Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	—	`conf`	Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM Fabio Martinelli, Ilaria Matteucci
2006	—	`conf`	A Fine-Grained and X.509-Based Access Control System for Globus. OTM Conferences (2) Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli
2006	—	`conf`	A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. ICS@SYNASC Fabio Martinelli, Marinella Petrocchi
2006	—	`conf`	An Approach for the Specification, Verification and Synthesis of Secure Systems. VODCA@FOSAD Fabio Martinelli, Ilaria Matteucci
2006	—	`conf`	Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. ICAS Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2006	—	`ed.`	Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2006	J	`jnl`	Formal analysis of some secure procedures for certificate delivery. Softw. Test. Verification Reliab. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2006	—	`conf`	On Relating and Integrating Two Trust Management Frameworks. VODCA@FOSAD Fabio Martinelli, Marinella Petrocchi
2006	—	`conf`	Through Modeling to Synthesis of Security Automata. STM Fabio Martinelli, Ilaria Matteucci
2006	—	`ed.`	Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings iTrust Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci
2005	—	`conf`	A Flexible Framework for Access Control Based on Ability Authentication. SAINT Workshops Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli
2005	—	`conf`	A Formalization of Credit and Responsibility Within the GNDC Schema. STM Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
2005	—	`ed.`	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 Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli
2005	—	`ed.`	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures FOSAD Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
2005	—	`ed.`	Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004 WISP@ICATPN Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2005	J	`jnl`	Relating multiset rewriting and process algebras for security protocol analysis. J. Comput. Secur. Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2005	J	`jnl`	SEAS, a secure e-voting protocol: Design and implementation. Comput. Secur. Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2005	J	`jnl`	Theoretical foundations of security analysis and design II. Theor. Comput. Sci. Roberto Gorrieri, Fabio Martinelli
2005	—	`conf`	Towards Continuous Usage Control on Grid Computational Services. ICAS/ICNS Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2005	—	`conf`	Towards an Integrated Formal Analysis for Security and Trust. FMOODS Fabio Martinelli
2004	J	`jnl`	A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. Roberto Gorrieri, Fabio Martinelli
2004	J	`jnl`	Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004	A*	`conf`	Fast mixing for independent sets, colorings and other models on trees. SODA Fabio Martinelli, Alistair Sinclair, Dror Weitz
2004	—	`conf`	Improving Grid Services Security with Fine Grain Policies. OTM Workshops Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2004	—	`conf`	Local Management of Credits and Debits in Mobile Ad Hoc Networks. Communications and Multimedia Security Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2004	—	`conf`	Preface. WISP@ICATPN Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2003	A	`conf`	A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
2003	J	`jnl`	A comparison of three authentication properties. Theor. Comput. Sci. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2003	J	`jnl`	Analysis of security protocols as open systems. Theor. Comput. Sci. Fabio Martinelli
2003	—	`conf`	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	Biometrics to Enhance Smartcard Security (Discussion). Security Protocols Workshop Fabio Martinelli
2003	—	`conf`	Biometrics to Enhance Smartcard Security. Security Protocols Workshop Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli
2003	—	`conf`	Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003	—	`conf`	Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003	—	`conf`	Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003	—	`conf`	Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	On Representing Biological Systems through Multiset Rewriting. EUROCAST Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli
2003	B	`conf`	Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS Roberto Gorrieri, Fabio Martinelli
2003	J	`jnl`	Real-time information flow analysis. IEEE J. Sel. Areas Commun. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2003	—	`conf`	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	SEAS: A Secure E-Voting Applet System. ISSS Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003	—	`conf`	Symbolic Partial Model Checking for Security Analysis. MMM-ACNS Fabio Martinelli
2003	A*	`conf`	The Ising Model on Trees: Boundary Conditions and Mixing Time. FOCS Fabio Martinelli, Alistair Sinclair, Dror Weitz
2002	—	`conf`	About Compositional Analysis of Pi-Calculus Processes. IFIP TCS Fabio Martinelli
2002	C	`conf`	Automated Analysis of Some Security Mechanisms of SCEP. ISC Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2002	—	`conf`	Classification of Security Properties - Part II: Network Security. FOSAD Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2002	B	`conf`	Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. MFCS Fabio Martinelli
2001	—	`conf`	Formal Models of Timing Attacks on Web Privacy. TOSCA Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001	—	`conf`	Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	—	`conf`	Information Flow Analysis in a Discrete-Time Process Algebra. CSFW Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	—	`conf`	Message Authentication through Non Interference. AMAST Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	A*	`conf`	Non Interference for the Analysis of Cryptographic Protocols. ICALP Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
1999	—	`conf`	A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods Riccardo Focardi, Fabio Martinelli
1999	A	`conf`	Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS Davide Marchignoli, Fabio Martinelli
1999	—	`conf`	Secrecy in Security Protocols as Non Interference. Workshop on Secure Architectures and Information Flow Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
1998	J	`jnl`	An Improvement of Algorithms for Solving Interface Equations. Inf. Process. Lett. Fabio Martinelli
1998	—	`conf`	Partial Model Checking and Theorem Proving for Ensuring Security Properties. CSFW Fabio Martinelli