F. Martinelli

发表

Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi, 2012, AAAI Spring Symposium: Intelligent Web Services Meet Social Computing.

Towards an interpretable deep learning model for mobile malware detection and family identification

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, Comput. Secur..

A tour of secure software engineering solutions for connected vehicles

Antonello Calabrò, Francesca Lonetti, Eda Marchetti, 2018, Software Quality Journal.

Mobile Implementation and Formal Verification of an e-Voting System

Fabio Martinelli, Marinella Petrocchi, Stefano Campanelli, 2008, 2008 Third International Conference on Internet and Web Applications and Services.

A Formal Support for Collaborative Data Sharing

Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, 2012, CD-ARES.

Quantitative evaluation of enforcement strategies

F. Martinelli, I. Matteucci, C. Morisset, 2013 .

Neural Networks for Driver Behavior Analysis

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, Electronics.

A Framework for Probabilistic Contract Compliance

F. Martinelli, G. Dini, A. Saracino, 2013 .

A quality model for social networks populated with web services

Zakaria Maamar, Gianpiero Costantino, Fabio Martinelli, 2015, Service Oriented Computing and Applications.

Cybsersecurity Issues in Robotics

Fabio Martinelli, Andrea Saracino, Antonio La Marra, 2021, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Model checking for mobile Android malware evolution

Aniello Cimitile, Antonella Santone, Gigliola Vaglini, 2017 .

A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services

Gianpiero Costantino, F. Martinelli, I. Matteucci, 2019, STAST.

A Social Engineering Attack to Leak Private Information from Android In-Vehicle Infotainment Systems

Antonio La Marra, Gianpiero Costantino, F. Martinelli, 2017 .

Trade-off analysis of safety and security in CAN bus communication

Gianpiero Costantino, Fabio Martinelli, Massimiliano Ruggeri, 2017, 2017 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS).

Consolidated dependability framework

Francesca Lonetti, Eda Marchetti, Valérie Issarny, 2012 .

Model and Synthesize Security Automata 1

F. Martinelli, I. Matteucci, 2006 .

2nd International Conference on Bio-inspired Models of Network, Information, and Computing Systems Home Authors Committees Keynote Speakers Title Author Abstract Self-organizing Mobile Surveillance Security Networks an Information Theoretical Approach for Molecular Communication (invited Paper) Eval

Zhejiang, Shenyang, Benko, 2007 .

Investigating the Privacy vs . Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting

Gianpiero Costantino, Fabio Martinelli, Gianpiero Costantino, 2013 .

D3.a: Advances in Analysis Technology

F. Nielson, R. Pugliese, F. Martinelli, 2007 .

Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, AINA Workshops.

General Framewhork for Secure Service Orchestration ?

F. Martinelli, Gabriele Costa, A. Yautsiukhin, 2014 .

Privacy-Preserving Opportunistic Networking

Paolo Santi, Gianpiero Costantino, Fabio Martinelli, 2014 .

Timed Automata Networks for SCADA Attacks Real-Time Mitigation

F. Martinelli, A. Santone, F. Mercaldo, 2022, KES-IDT.

Consiglio Nazionale delle Ricerche About compositional analysis of pi-calculus

F. Martinelli, 2005 .

Partial model checking , process algebra operators and satisfiability procedures for ( automatically ) enforcing security properties ∗

F. Martinelli, I. Matteucci, 2005 .

Cybersecurity - Introduction to the Special Theme

Edgar R. Weippl, Fabio Martinelli, E. Weippl, 2016, ERCIM News.

ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings

Sabrina De Capitani di Vimercati, Fabio Martinelli, S. Vimercati, 2017, IFIP International Information Security Conference.

Consiglio Nazionale delle Ricerche A framework for automatic security controller generation

F. Martinelli, I. Matteucci, 2009 .

Robust Malware Classification via Deep Graph Networks on Call Graph Topologies

Alessio Micheli, Fabio Martinelli, Francesco Mercaldo, 2021, ESANN.

Generative adversarial networks for subdomain enumeration

Seyed Ali Mirheidari, F. Martinelli, B. Crispo, 2022, SAC.

D4.3 Part II: Engineering Secure Future Internet Services: A Research Manifesto and Agenda from the NESSoS Community: Final Release

F. Martinelli, Francisco Moyano, Carmen Fernández, 2013 .

Information Security and Privacy - Challenges and Outlook

Wouter Joosen, Steven Furnell, Jaideep Vaidya, 2021, IFIP's Exciting First 60+ Years.

Proceedings of the 4th international conference on Trust Management

Fabio Massacci, Fabio Martinelli, Ketil Stølen, 2006 .

SH 2010: Welcome message from workshop organizers: FutureTech 2010

Alagan Anpalagan, Sherali Zeadally, Tin Yu Wu, 2010 .

Extending Security-by-Contract with Extending Security-by-Contract with Quantitative Trust on Mobile Quantitative Trust on Mobile Devices Devices

Fabio Massacci, Fabio Martinelli, Ilaria Matteucci, 2010 .

Proceedings of the 12th International Conference on Information Security

Moti Yung, Pierangela Samarati, Fabio Martinelli, 2009 .

Cyber Risk Management: A New Challenge for Actuarial Mathematics

F. Martinelli, M. Carfora, A. Orlando, 2018 .

Cyber Risk Management: An Actuarial Point of View

F. Martinelli, M. Carfora, A. Orlando, 2019 .

ABOUT COMPOSITIONAL ANALYSIS OF 1r-CALCULUS PROCESSES*

F. Martinelli, 2013 .

Revised Selected Papers of the 10th International Workshop on Data Privacy Management, and Security Assurance - Volume 9481

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, 2015 .

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

Fabio Martinelli, Alessandro Aldini, Neeraj Suri, 2016, DPM/QASA@ESORICS.

Proceedings of the Third international conference on Formal Aspects in Security and Trust

Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider, 2005 .

Information Flow in a Discrete-Time Process Algebra

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000 .

Automated Analysis of Web Security: A Case Study on Web Privacy

Enrico Tronci, Simone Tini, Roberto Gorrieri, 2004 .

Fine Grained Access Control for Computational Services

F. Martinelli, P. Mori, A. Vaccarelli, 2006 .

Biometrics to Enhance Smartcard Security

Stefano Bistarelli, Fabio Martinelli, Giampaolo Bella, 2003, Security Protocols Workshop.

Usage Control, Risk and Trust

Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin, 2010, TrustBus.

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies

Álvaro Enrique Arenas, Benjamin Aziz, Fabio Martinelli, 2008, TrustBus.

Sharing Data through Confidential Clouds: An Architectural Perspective

Daniele Sgandurra, Emil C. Lupu, Fabio Martinelli, 2015, 2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRivacy and SEcurity.

Digital Waste Disposal: an automated framework for analysis of spam emails

Fabio Martinelli, Nadia Tawbi, Andrea Saracino, 2019, International Journal of Information Security.

Improving security in industry 4.0 by extending OPC-UA with usage control

Andrea Saracino, Paolo Mori, Fabio Martinelli, 2020, ARES.

Automated analysis of timed security: a case study on web privacy

Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, International Journal of Information Security.

Machine learning for coronavirus covid-19 detection from chest x-rays

Antonella Santone, Francesco Mercaldo, Luca Brunese, 2020, Procedia Computer Science.

Deep learning for heart disease detection through cardiac sounds

Antonella Santone, Francesco Mercaldo, Luca Brunese, 2020, KES.

Computer Security – ESORICS 2012

Moti Yung, Fabio Martinelli, Sara Foresti, 2012, Lecture Notes in Computer Science.

Representing Biological Systems with Multiset Rewriting

Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003 .

A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, 2021 International Joint Conference on Neural Networks (IJCNN).

Local Management of Credits and Debits in Mobile Ad Hoc Networks

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, 2004, Communications and Multimedia Security.

A Survey on Security for Mobile Devices

Daniele Sgandurra, Fabio Martinelli, Mariantonietta La Polla, 2013, IEEE Communications Surveys & Tutorials.

Emotions and Interests of Evolving Twitter Bots

Marinella Petrocchi, Fabio Martinelli, Michela Fazzolari, 2020, 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS).

Classification of ransomware families with machine learning based on N-gram of opcodes

Arun Kumar Sangaiah, Fabio Martinelli, Xi Xiao, 2019, Future Gener. Comput. Syst..

Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, IoTBDS.

Improving MQTT by Inclusion of Usage Control

Fabio Martinelli, Andrea Saracino, Athanasios Rizos, 2017, SpaCCS.

Human behavior characterization for driving style recognition in vehicle system

Arun Kumar Sangaiah, Antonella Santone, Fabio Martinelli, 2020, Comput. Electr. Eng..

Risk Analysis of Android Applications: A Multi-Criteria and Usable Approach

G. Dini, F. Martinelli, F. Martinelli, 2015 .

A Multi-criteria-Based Evaluation of Android Applications

Gianluca Dini, Daniele Sgandurra, Fabio Martinelli, 2012, INTRUST.

A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2016, FACS.

There are Two Sides to Every Question - Controller Versus Attacker

Francesco Santini, Fabio Martinelli, Ilaria Matteucci, 2015, Programming Languages with Applications to Biology and Security.

Preserving security properties under refinement

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2011, SESS '11.

Towards Information Flow Properties for Distributed Systems

Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci, 2009, VODCA@FOSAD.

Methodologies and tools for data sharing agreement infrastructure

Benjamin Aziz, Fabio Martinelli, Ilaria Matteucci, 2008 .

Synthesis of Local Controller Programs for Enforcing Global Security Properties

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Analysis of security protocols as open systems

Fabio Martinelli, F. Martinelli, 2003, Theor. Comput. Sci..

About Compositional Analysis of Pi-Calculus Processes

Fabio Martinelli, F. Martinelli, 2002, IFIP TCS.

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques

Fabio Martinelli, Davide Marchignoli, F. Martinelli, 1999, TACAS.

On the Influence of Image Settings in Deep Learning-based Malware Detection

F. Martinelli, A. Santone, F. Mercaldo, 2022, ICISSP.

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation

Antonella Santone, Gigliola Vaglini, Francesco Mercaldo, 2020, Simul. Model. Pract. Theory.

Detecting Colluding Inter-App Communication in Mobile Environment

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, Applied Sciences.

Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, Applied Sciences.

Colluding Android Apps Detection via Model Checking

Antonella Santone, Francesco Mercaldo, Vittoria Nardone, 2020, AINA Workshops.

Accidental Sensitive Data Leaks Prevention via Formal Verification

Antonella Santone, Francesco Mercaldo, Fausto Fasano, 2020, ICISSP.

Android Run-time Permission Exploitation User Awareness by Means of Formal Methods

Antonella Santone, Francesco Mercaldo, Fausto Fasano, 2020, ICISSP.

User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2019, 2019 IEEE International Conference on Big Data (Big Data).

A Model Checking based Proposal for Mobile Colluding Attack Detection

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2019, 2019 IEEE International Conference on Big Data (Big Data).

LEILA: Formal Tool for Identifying Mobile Malicious Behaviour

Gerardo Canfora, Antonella Santone, Fabio Martinelli, 2019, IEEE Transactions on Software Engineering.

Spyware Detection using Temporal Logic

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, ICISSP.

Model Checking to Detect the Hummingbad Malware

Antonella Santone, Gigliola Vaglini, Fabio Martinelli, 2019, IDC.

Formal Methods for Android Banking Malware Analysis and Detection

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2019, 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS).

Model Checking for Data Anomaly Detection

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, KES.

Evaluating model checking for cyber threats code obfuscation identification

Aniello Cimitile, Arun Kumar Sangaiah, Antonella Santone, 2018, J. Parallel Distributed Comput..

Identifying Insecure Features in Android Applications using Model Checking

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, 2018, ICISSP.

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2017, ARES.

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique

Aniello Cimitile, Antonella Santone, Fabio Martinelli, 2017, 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Twinkle twinkle little DroidDream, How I wonder what you are?

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2017, 2017 IEEE International Workshop on Metrology for AeroSpace (MetroAeroSpace).

How Discover a Malware using Model Checking

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2017, AsiaCCS.

Identifying Mobile Repackaged Applications through Formal Methods

Antonella Santone, Fabio Martinelli, Corrado Aaron Visaggio, 2017, ICISSP.

Visualizing the outcome of dynamic analysis of Android malware with VizMal

Eric Medvet, Antonella Santone, Andrea De Lorenzo, 2020, J. Inf. Secur. Appl..

Energy Consumption Metrics for Mobile Device Dynamic Malware Detection

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, KES.

Safety Critical Systems Formal Verification Using Execution Traces

Antonella Santone, Gigliola Vaglini, Fabio Martinelli, 2018, 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Driver and Path Detection through Time-Series Classification

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2018 .

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

Antonella Santone, Gigliola Vaglini, Fabio Martinelli, 2018, Soft Computing.

Driver Identification: a Time Series Classification Approach

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2018, 2018 International Joint Conference on Neural Networks (IJCNN).

Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis

Eric Medvet, Alberto Bartoli, Fabio Martinelli, 2018, ICISSP.

Privacy Preserving Distributed Computation of Private Attributes for Collaborative Privacy Aware Usage Control Systems

Gianpiero Costantino, Fabio Martinelli, Andrea Saracino, 2018, 2018 IEEE International Conference on Smart Computing (SMARTCOMP).

A quality model for social networks populated with web services

Gianpiero Costantino, F. Martinelli, M. Petrocchi, 2015, Service Oriented Computing and Applications.

Cyber-insurance survey

Fabio Martinelli, Albina Orlando, Artsiom Yautsiukhin, 2017, Comput. Sci. Rev..

Reputation-Based Composition of Social Web Services

Zakaria Maamar, Rocco De Nicola, Gianpiero Costantino, 2014, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications.

Formal Models of Timing Attacks on Web Privacy

Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2002, TOSCA.

A framework for automatic generation of security controller

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2012, Softw. Test. Verification Reliab..

From Qualitative to Quantitative Enforcement of Security Policy

Fabio Martinelli, Ilaria Matteucci, Charles Morisset, 2012, MMM-ACNS.

Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence

Antonella Santone, Francesco Mercaldo, Fiammetta Marulli, 2020, 2020 International Joint Conference on Neural Networks (IJCNN).

Cluster Analysis for Driver Aggressiveness Identification

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2018, ICISSP.

Who's Driving My Car? A Machine Learning based Approach to Driver Identification

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2018, ICISSP.

Usage Control on Cloud systems

Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski, 2016, Future Gener. Comput. Syst..

Trust Aware Continuous Authorization for Zero Trust in Consumer Internet of Things

Antonio La Marra, T. Dimitrakos, F. Martinelli, 2020, 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).

SEAS: A Secure E-Voting Applet System

Fabio Martinelli, Marinella Petrocchi, Fabrizio Baiardi, 2003, ISSS.

Privacy for 5G-Supported Vehicular Networks

Mauro Conti, Liehuang Zhu, Fabio Martinelli, 2021, IEEE Open Journal of the Communications Society.

MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention

Gianluca Dini, Daniele Sgandurra, Fabio Martinelli, 2018, IEEE Transactions on Dependable and Secure Computing.

VisualDroid: automatic triage and detection of Android repackaged applications

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, ARES.

Improving Machine Learning Tools with Embeddings: Applications to Big Data Security

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2018, 2018 IEEE International Conference on Big Data (Big Data).

Bank Credit Risk Management based on Data Mining Techniques

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, ICISSP.

An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast

Paolo Santi, Gianpiero Costantino, Fabio Martinelli, 2012, 2012 Tenth Annual International Conference on Privacy, Security and Trust.

Design of Approaches for Dependability and Initial Prototypes

Valérie Issarny, Silvano Chiaradonna, Felicita Di Giandomenico, 2011 .

Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

Gabriele Lenzini, Fabio Martinelli, Stefania Gnesi, 2005, SVV@ICLP.

CANDY: A Social Engineering Attack to Leak Information from Infotainment System

Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, 2018, 2018 IEEE 87th Vehicular Technology Conference (VTC Spring).

Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World

Valérie Issarny, Silvano Chiaradonna, Felicita Di Giandomenico, 2010 .

Data Privacy Management and Security Assurance

Vicenç Torra, Fabio Martinelli, Alessandro Aldini, 2016, Lecture Notes in Computer Science.

Optimisation of cyber insurance coverage with selection of cost effective security controls

Fabio Massacci, Ganbayar Uuganbayar, Fabio Martinelli, 2021, Comput. Secur..

Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud

Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski, 2014, 2014 IEEE Security and Privacy Workshops.

Experimenting and assessing machine learning tools for detecting and analyzing malicious behaviors in complex environments

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2018, Journal of Reliable Intelligent Environments.

A Novel Structural-Entropy-based Classification Technique for Supporting Android Ransomware Detection and Analysis

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2018, 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

Formal Aspects in Security and Trust

F. Martinelli, 2005, Lecture Notes in Computer Science.

BRIDEMAID: An Hybrid Tool for Accurate Detection of Android Malware

Fabio Martinelli, Andrea Saracino, Francesco Mercaldo, 2017, AsiaCCS.

Mobile Family Detection through Audio Signals Classification

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, SECRYPT.

Tor traffic analysis and detection via machine learning techniques

Alfredo Cuzzocrea, Gianni Vercelli, Fabio Martinelli, 2017, 2017 IEEE International Conference on Big Data (Big Data).

Detection of images with adult content for parental control on mobile devices?

Fabio Martinelli, Gabriele Costa, Giuseppe Amato, 2009, Mobility Conference.

On the effectiveness of system API-related information for Android ransomware detection

Fabio Martinelli, Corrado Aaron Visaggio, Giorgio Giacinto, 2018, Comput. Secur..

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2010, ATC.

Using Soft Constraints for Deduction and Abduction in Policy-based Access Authorization 1

F. Martinelli, Francesco Santini, Stefano Bistarelli, 2010 .

Practical Privacy-Preserving Medical Diagnosis Using Homomorphic Encryption

Gianpiero Costantino, Fabio Martinelli, Renaud Sirdey, 2016, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD).

2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014

Ilaria Liccardi, Paolo Santi, Gianpiero Costantino, 2014, Conference on Privacy, Security and Trust.

Public Key Infrastructures, Services and Applications

Bart Preneel, Fabio Martinelli, B. Preneel, 2009, Lecture Notes in Computer Science.

CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour

Antonello Calabrò, Eda Marchetti, Gianpiero Costantino, 2018, 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

Dynamic Mobile Malware Detection through System Call-based Image representation

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

SEAS, a secure e-voting protocol: Design and implementation

Marinella Petrocchi, Fabrizio Baiardi, Anna Vaccarelli, 2005, Comput. Secur..

A Uniform Approach to Security and Fault-Tolerance Specification and Analysis

Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, 2009, WADS.

A Joint Safety and Security Analysis of message protection for CAN bus protocol

Gianpiero Costantino, Fabio Martinelli, Massimiliano Ruggeri, 2018 .

Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, KES.

Detecting and Analyzing Anomalies Across Historical Data Changes: A Data-Driven Approach

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

On Relating and Integrating Two Trust Management Frameworks

Fabio Martinelli, Marinella Petrocchi, F. Martinelli, 2007, VODCA@FOSAD.

An exploratory study on the evolution of Android malware quality

Aniello Cimitile, Fabio Martinelli, Corrado Aaron Visaggio, 2018, J. Softw. Evol. Process..

Vulnerable Smart Contract Detection by Means of Model Checking

F. Martinelli, Giacomo Iadarola, A. Santone, 2022, International Symposium on Blockchain and Secure Critical Infrastructure.

Real-Time SCADA Attack Detection by Means of Formal Methods

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, 2017, ICISSP.

Detection of Obfuscation Techniques in Android Applications

Eric Medvet, Alberto Bartoli, Fabio Martinelli, 2018, ARES.

LoSeRO: A Locality Sensitive Routing Protocol in Opportunistic Networks with Contact Profiles

Paolo Santi, Gianpiero Costantino, Fabio Martinelli, 2020, IEEE Transactions on Mobile Computing.

Applying Machine Learning Techniques to Detect and Analyze Web Phishing Attacks

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2018, iiWAS.

Author Manuscript, Published in "2nd International Workshop on Software Engineering for Resilient Systems (serene 2010) Dependability in Dynamic, Evolving and Heterogeneous Systems: the Connect Approach

Valérie Issarny, Antinisca Di Marco, Fabio Martinelli, 2010 .

Improving Vehicle Safety Through a Fog Collaborative Infrastructure

Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, 2018, 2018 IEEE International Conference on Smart Computing (SMARTCOMP).

A Survey on Cyber-Insurance

F. Martinelli, F. Martinelli, S. Nanni, 2015 .

Privacy Preserving Expectation Maximization (EM) Clustering Construction

Fabio Martinelli, Mona Hamidi, Mina Sheikh Alishahi, 2018, DCAI.

R-PackDroid: API package-based characterization and detection of mobile ransomware

Fabio Martinelli, Corrado Aaron Visaggio, Giorgio Giacinto, 2017, SAC.

Risk analysis of Android applications: A user-centric solution

Gianluca Dini, Daniele Sgandurra, Ilaria Matteucci, 2018, Future Gener. Comput. Syst..

Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2021, KES.

Evaluating Convolutional Neural Network for Effective Mobile Malware Detection

Fabio Martinelli, Francesco Mercaldo, Fiammetta Marulli, 2017, KES.

Introducing Usage Control in MQTT

Fabio Martinelli, Andrea Saracino, Athanasios Rizos, 2017, CyberICPS/SECPRE@ESORICS.

Implementing Usage Control in Internet of Things: A Smart Home Use Case

Fabio Martinelli, Andrea Saracino, Paolo Mori, 2017, 2017 IEEE Trustcom/BigDataSE/ICESS.

Fast and Effective Clustering of Spam Emails Based on Structural Similarity

Fabio Martinelli, Nadia Tawbi, Andrea Saracino, 2015, FPS.

Keystroke Analysis for User Identification using Deep Neural Networks

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2019, 2019 International Joint Conference on Neural Networks (IJCNN).

Social Network Polluting Contents Detection through Deep Learning Techniques

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, 2019 International Joint Conference on Neural Networks (IJCNN).

Formal Anaylsis of Some Timed Security Properties in Wireless Protocols

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, 2003, FMOODS.

R-PackDroid: Practical On-Device Detection of Android Ransomware pdf

Fabio Martinelli, Corrado Aaron Visaggio, Giorgio Giacinto, 2018, ArXiv.

Privacy preserving data sharing and analysis for edge-based architectures

Fabio Martinelli, Andrea Saracino, Antonio La Marra, 2021, International Journal of Information Security.

Risk-Aware Usage Decision Making in Highly Dynamic Systems

Fabio Martinelli, Artsiom Yautsiukhin, Aliaksandr Lazouski, 2010, 2010 Fifth International Conference on Internet Monitoring and Protection.

A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2008, ATC.

A Distributed Authorization System with Mobile Usage Control Policies

Fabio Martinelli, Paolo Mori, F. Martinelli, 2011, EUROCAST.

Enforcing UCON Policies on the Enterprise Service Bus

Fabio Martinelli, Bruno Crispo, Gabriela Gheorghe, 2010, OTM Conferences.

Context-Aware Analysis of Data Sharing Agreements

Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, 2010, 2010 Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services.

Enhancing grid security by fine-grained behavioral control and negotiation-based authorization

Fabio Martinelli, Paolo Mori, Hristo Koshutanski, 2009, International Journal of Information Security.

Idea: Action Refinement for Security Properties Enforcement

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2009, ESSoS.

Enhancing Java ME Security Support with Resource Usage Monitoring

Fabio Massacci, Paolo Mori, Fabio Martinelli, 2008, ERCIM News.

A model for usage control in GRID systems

Fabio Martinelli, Paolo Mori, F. Martinelli, 2007, 2007 Third International Conference on Security and Privacy in Communications Networks and the Workshops - SecureComm 2007.

An Approach for the Specification, Verification and Synthesis of Secure Systems

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2007, VODCA@FOSAD.

Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services

Fabio Martinelli, Paolo Mori, Hristo Koshutanski, 2006, International Conference on Autonomic and Autonomous Systems (ICAS'06).

Towards Continuous Usage Control on Grid Computational Services

Fabio Martinelli, Paolo Mori, Anna Vaccarelli, 2005, Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services - (icas-isns'05).

Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

Gabriele Lenzini, Fabio Martinelli, Stefania Gnesi, 2004, MEFISTO.

Non Interference for the Analysis of Cryptographic Protocols

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, ICALP.

A Uniform Approach for the Definition of Security Properties

Fabio Martinelli, Riccardo Focardi, F. Martinelli, 1999, World Congress on Formal Methods.

Pushing Forward Security in Network Slicing by Leveraging Continuous Usage Control

Piero Castoldi, Andrea Saracino, Barbara Martini, 2020, IEEE Communications Magazine.

Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols

Roberto Gorrieri, Fabio Martinelli, F. Martinelli, 2003, MFCS.

Driver Identification Through Formal Methods

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2022, IEEE Transactions on Intelligent Transportation Systems.

Towards Collaborative Cyber Threat Intelligence for Security Management

Fabio Martinelli, Andrea Saracino, Theodosis Dimitrakos, 2021, ICISSP.

Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, 2019 International Joint Conference on Neural Networks (IJCNN).

Using recurrent neural networks for continuous authentication through gait analysis

Fabio Martinelli, Andrea Saracino, Giacomo Giorgi, 2021, Pattern Recognit. Lett..

Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning

Fabio Martinelli, Andrea Saracino, Mina Sheikh Alishahi, 2017, SAFECOMP Workshops.

Wearable Devices for Human Activity Recognition and User Detection

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).

Detection of Malicious Software by Analyzing Distinct Artifacts Using Machine Learning and Deep Learning Algorithms

Antonella Santone, P. Vinod, Fabio Martinelli, 2021, Electronics.

Semiring-based Specification Approaches for Quantitative Security

F. Martinelli, I. Matteucci, Francesco Santini, 2015, QAPL.

Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks

Levente Buttyán, Fabio Martinelli, Marinella Petrocchi, 2010, Comput. Commun..

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, 2008, Journal of Automated Reasoning.

Towards an Integrated Formal Analysis for Security and Trust

Fabio Martinelli, F. Martinelli, 2005, FMOODS.

Compositional Verification of Secure Streamed Data: A Case Study with EMSS

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, 2003, ICTCS.

Compositional verification of integrity for digital stream signature protocols

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Real-time information flow analysis

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2003, IEEE J. Sel. Areas Commun..

Information flow analysis in a discrete-time process algebra

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

Message Authentication through Non Interference

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, AMAST.

Partial model checking and theorem proving for ensuring security properties

Fabio Martinelli, F. Martinelli, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).

Secrecy in Security Protocols as Non Interference

Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 1999, Workshop on Secure Architectures and Information Flow.

An Innovative Framework for Supporting Social Network Polluting-content Detection and Analysis

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2019, ICEIS.

Trust Management VII

Siani Pearson, Carmen Fernandez-Gago, Isaac Agudo, 2013, IFIP Advances in Information and Communication Technology.

Using Incentives to Analyze Social Web Services' Behaviors

Zakaria Maamar, Gianpiero Costantino, Fabio Martinelli, 2014, WISE Workshops.

Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach

Gianluca Dini, Daniele Sgandurra, Fabio Martinelli, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

A Data Life Cycle Modeling Proposal by Means of Formal Methods

Antonella Santone, Fabio Martinelli, Francesco Mercaldo, 2019, AsiaCCS.

A time series classification approach to game bot detection

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2017, WIMS.

Game Bot Detection in Online Role Player Game through Behavioural Features

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2017, ICSOFT.

Enhancing Video Surveillance with Usage Control and Privacy-Preserving Solutions

Gianpiero Costantino, Fabio Martinelli, Paolo Mori, 2016, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Tor traffic analysis and identification

Fabio Martinelli, Francesco Mercaldo, F. Martinelli, 2017, 2017 AEIT International Annual Conference.

CheR: Cheating Resilience in the Cloud via Smart Resource Allocation

Roberto Di Pietro, Daniele Sgandurra, Fabio Martinelli, 2013, FPS.

Walking Through the Deep: Gait Analysis for User Authentication Through Deep Learning

Fabio Martinelli, Andrea Saracino, Mina Sheikh Alishahi, 2018, SEC.

Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection

Miroslaw Malek, Fabio Martinelli, Francesco Mercaldo, 2017, FPS.

MADAM: A Multi-level Anomaly Detector for Android Malware

Gianluca Dini, Daniele Sgandurra, Fabio Martinelli, 2012, MMM-ACNS.

Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples

Antonella Santone, P. Vinod, Fabio Martinelli, 2021, KES.

Optimal Security Configuration for Cyber Insurance

Fabio Martinelli, Ganbayar Uuganbayar, Artsiom Yautsiukhin, 2018, SEC.

Usage Control in Cloud Federations

Patrizio Dazzi, Fabio Martinelli, Massimo Coppola, 2014, 2014 IEEE International Conference on Cloud Engineering.

A Proposal on Enhancing XACML with Continuous Usage Control Features

Fabio Martinelli, Paolo Mori, Maurizio Colombo, 2009, CoreGRID@Euro-Par.

Model Checking for Real-Time Attack Detection in Water Distribution Systems

F. Martinelli, A. Santone, F. Mercaldo, 2022, Informatics and Automation.

Machine Learning for Driver Detection through CAN bus

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring).

Formal approach to security metrics.: what does "more secure" mean for you?

Fabio Martinelli, Artsiom Yautsiukhin, Leanid Krautsevich, 2010, ECSA '10.

Evaluating Deep Learning Classification Reliability in Android Malware Family Detection

Antonella Santone, Francesco Mercaldo, Fabio Martinelli, 2020, 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Through Modeling to Synthesis of Security Automata

Fabio Martinelli, Ilaria Matteucci, F. Martinelli, 2007, STM.

Runtime monitoring for next generation Java ME platform

Christian Schaefer, Fabio Martinelli, Paolo Mori, 2010, Comput. Secur..

Enhancing Java Security with History Based Access Control

Fabio Martinelli, Paolo Mori, F. Martinelli, 2007, FOSAD.

Automated Synthesis and Ranking of Secure BPMN Orchestrators

Vincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli, 2013, 2013 International Conference on Availability, Reliability and Security.

Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

G. Lenzini, F. Martinelli, S. Gnesi, 2004, MEFISTO.

Cost-Aware Runtime Enforcement of Security Policies

Fabio Martinelli, Charles Morisset, Peter Drábik, 2012, STM.

Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis

Stefano Bistarelli, Gabriele Lenzini, Fabio Martinelli, 2003 .

I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware

Fabio Martinelli, Andrea Saracino, Corrado Aaron Visaggio, 2016, 2016 14th Annual Conference on Privacy, Security and Trust (PST).

Alurity, a Toolbox for Robot Cybersecurity

F. Martinelli, S. Rass, M. Pinzger, 2020, ArXiv.

Session-dependent Usage Control for Big Data

Andrea Saracino, Christina Michailidou, Paolo Mori, 2020, J. Internet Serv. Inf. Secur..

Handling Meta Attribute Information in Usage Control Policies (Short Paper)

Antonio La Marra, T. Dimitrakos, F. Martinelli, 2021, ETAA.

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

Fabio Martinelli, Theodosis Dimitrakos, T. Dimitrakos, 2005, USENIX Conference on File and Storage Technologies.

A Comparison Among Policy Editors for Attributed Based Access Control Model

Fabio Martinelli, Christina Michailidou, Theodosis Dimitrakos, 2020, ETAA@ESORICS.

A Prototype for Enforcing Usage Control Policies Based on XACML

Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski, 2012, TrustBus.

Usage control in computer security: A survey

Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski, 2010, Comput. Sci. Rev..

Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm

Fabio Martinelli, Nadia Tawbi, Mohamed Mejri, 2016, FPS.

MADAM: A Multi-level Anomaly Detector for Android Malware

F. Martinelli, G. Dini, A. Saracino, 2012, MMM-ACNS.

Email Spoofing Attack Detection through an End to End Authorship Attribution System

Andrea Saracino, Fabio Martinelli, Giacomo Giorgi, 2020, ICISSP.

A machine-learning framework for supporting intelligent web-phishing detection and analysis

Alfredo Cuzzocrea, Fabio Martinelli, Francesco Mercaldo, 2019, IDEAS.

Dynamic malware detection and phylogeny analysis using process mining

Fabio Martinelli, Mario Luca Bernardi, Marta Cimitile, 2018, International Journal of Information Security.

Model Checking Based Approach for Compliance Checking

Antonella Santone, Gigliola Vaglini, Fabio Martinelli, 2019, Inf. Technol. Control..

Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns

Fabio Martinelli, Nadia Tawbi, Andrea Saracino, 2015, STM.