MERCALDO, Francesco
MERCALDO, Francesco
DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE
2Faces: a new model of malware based on dynamic compiling and reflection
2021-01-01 Casolare, R.; Lacava, G.; Martinelli, F.; Mercaldo, F.; Russodivito, M.; Santone, A.
A blockchain based proposal for protecting healthcare systems through formal methods
2019-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.
A Classifier of Malicious Android Applications
2013-01-01 Gerardo, C; Mercaldo, F; Visaggio, C A
A constraint-driven approach for dynamic malware detection
2016-01-01 Bernardi, ; M, L; Cimitile, M; Distante, D; Mercaldo, F
A deep-learning-based framework for supporting analysis and detection of attacks on CAN buses
2020-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware
2017-01-01 Faiella, ; M, ; Marra, A; Martinelli, F; Mercaldo, F; Saracino, ; A, ; Sheikhalishahi, M
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment
2018-01-01 Capobianco, Giovanni; DI GIACOMO, UMBERTO ANTONIO; Mercaldo, Francesco; Santone, Antonella
A framework for supporting ransomware detection and prevention based on hybrid analysis
2021-01-01 Mercaldo, F.
A fuzzy-based process mining approach for dynamic malware detection
2017-01-01 Bernardi, M L; Cimitile, M; Martinelli, F; Mercaldo, F
A machine learning approach for game bot detection through behavioural features
2018-01-01 Bernardi, M. L.; Cimitile, M.; Martinelli, F.; Mercaldo, F.
A machine-learning framework for supporting intelligent web-phishing detection and analysis
2019-01-01 Cuzzocrea, A.; Martinelli, F.; Mercaldo, F.
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
A method for automatic penetration testing and mitigation: A Red Hat approach
2021-01-01 Filiol, E.; Mercaldo, F.; Santone, A.
A Method for Intrusion Detection in Smart Grid
2022-01-01 Martinelli, F.; Mercaldo, F.; Santone, A.
A methodology based on formal methods for thermal ablation area detection
2021-01-01 Brunese, L.; Mercaldo, F.; Santone, A.; Vanoli, G. P.
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking
2019-01-01 Capobianco, G.; Giacomo, U. D.; Tusa, T. D.; Mercaldo, F.; Santone, A.
A Methodology for Silent and Continuous Authentication in Mobile Environment
2017-01-01 Canfora, G; di Notte, P; Mercaldo, F; Visaggio, ; C, A
A Model Checking based Proposal for Mobile Colluding Attack Detection
2019-01-01 Casolare, R.; Martinelli, F.; Mercaldo, F.; Santone, A.
A Model Checking-based Approach to Malicious Family Detection in iOS Environment
2022-01-01 Ciaramella, G.; Iadarola, G.; Martinelli, F.; Mercaldo, F.; Santone, A.
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection
2022-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.