Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDAntonella Santone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j71]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking. Artif. Intell. Medicine 127: 102263 (2022)- [j70]Giulia Varriano, Pasquale Guerriero
, Antonella Santone, Francesco Mercaldo, Luca Brunese:
Explainability of radiomics through formal methods. Comput. Methods Programs Biomed. 220: 106824 (2022) - [j69]Pan Huang, Xiaoheng Tan, Xiaoli Zhou, Shuxian Liu, Francesco Mercaldo, Antonella Santone:
FABNet: Fusion Attention Block and Transfer Learning for Laryngeal Cancer Tumor Grading in P63 IHC Histopathology Images. IEEE J. Biomed. Health Informatics 26(4): 1696-1707 (2022) - [j68]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23(6): 5625-5637 (2022) - [j67]Francesco Mercaldo, Antonella Santone:
Formal Equivalence Checking for Mobile Malware Detection and Family Classification. IEEE Trans. Software Eng. 48(7): 2643-2657 (2022) - [j66]Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone:
2Faces: a new model of malware based on dynamic compiling and reflection. J. Comput. Virol. Hacking Tech. 18(3): 215-230 (2022) - [c113]Giovanni Ciaramella, Giacomo Iadarola, Francesco Mercaldo, Marco Storto, Antonella Santone, Fabio Martinelli:
Introducing Quantum Computing in Mobile Malware Detection. ARES 2022: 88:1-88:8 - [c112]Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Vulnerable Smart Contract Detection by Means of Model Checking. BSCI 2022: 3-10 - [c111]Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P.:
On the Influence of Image Settings in Deep Learning-based Malware Detection. ICISSP 2022: 669-676 - [c110]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata Networks for SCADA Attacks Real-Time Mitigation. KES-IDT 2022: 549-559 - [c109]Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT 2022: 513-518 - [c108]Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone:
A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. SECRYPT 2022: 534-539 - 2021
- [j65]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. 105: 102198 (2021) - [j64]Francesco Mercaldo, Antonella Santone:
Transfer learning for mobile real-time face mask detection and localization. J. Am. Medical Informatics Assoc. 28(7): 1548-1554 (2021) - [j63]Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(1): 44-63 (2021) - [j62]Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone:
CAN-Bus Attack Detection With Deep Learning. IEEE Trans. Intell. Transp. Syst. 22(8): 5081-5090 (2021) - [j61]Francesco Mercaldo, Antonella Santone:
Audio signal processing for Android malware detection and family identification. J. Comput. Virol. Hacking Tech. 17(2): 139-152 (2021) - [j60]Antonella Santone:
Editorial. J. Comput. Virol. Hacking Tech. 17(3): 165-166 (2021) - [c107]Rosangela Casolare, Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications. ARES 2021: 51:1-51:7 - [c106]Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli:
A Methodology based on Formal Methods for Thermal Ablation Area Detection. BIOINFORMATICS 2021: 191-194 - [c105]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP 2021: 811-818 - [c104]Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli:
Thermal Ablation Treatment Detection by means of Machine Learning. IJCNN 2021: 1-6 - [c103]Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone:
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. IJCNN 2021: 1-8 - [c102]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. IJCNN 2021: 1-5 - [c101]Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo:
Perturbation of Image-based Malware Detection with Smali level morphing techniques. ISPA/BDCloud/SocialCom/SustainCom 2021: 1651-1656 - [c100]Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. KES 2021: 1659-1669 - [c99]Eric Filiol, Francesco Mercaldo, Antonella Santone:
A Method for Automatic Penetration Testing and Mitigation: A Red Hat Approach. KES 2021: 2039-2046 - [c98]Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. KES 2021: 2340-2346 - [c97]Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone:
Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. KES 2021: 2440-2449 - [c96]Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. KES 2021: 3320-3331 - [c95]Xuan Sun, Luqun Li, Francesco Mercaldo, Yichen Yang, Antonella Santone, Fabio Martinelli:
Automated Intention Mining with Comparatively Fine-tuning BERT. NLPIR 2021: 157-162 - [c94]Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Mobile Family Detection through Audio Signals Classification. SECRYPT 2021: 479-486 - 2020
- [j59]Lanfranco Lopriore, Antonella Santone:
Extended pointers for memory protection in single address space systems. Comput. Electr. Eng. 82: 106551 (2020) - [j58]Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah:
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020) - [j57]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
An ensemble learning approach for brain cancer detection exploiting radiomic features. Comput. Methods Programs Biomed. 185: 105134 (2020) - [j56]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays. Comput. Methods Programs Biomed. 196: 105608 (2020) - [j55]Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini:
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90: 101691 (2020) - [j54]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j53]Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski:
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. Ind. Manag. Data Syst. 120(7): 1383-1400 (2020) - [j52]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. 11(6): 304 (2020) - [j51]Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone:
Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. 50 (2020) - [j50]Philipp Kreimel, Oliver Eigner, Francesco Mercaldo, Antonella Santone, Paul Tavolato:
Anomaly detection in substation networks. J. Inf. Secur. Appl. 54: 102527 (2020) - [j49]Longquan Jiang, Xuan Sun, Francesco Mercaldo, Antonella Santone:
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification. Knowl. Based Syst. 210: 106486 (2020) - [j48]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomics for Gleason Score Detection through Deep Learning. Sensors 20(18): 5411 (2020) - [j47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [j46]Antonella Santone:
Editorial. J. Comput. Virol. Hacking Tech. 16(1): 1-2 (2020) - [j45]Francesco Mercaldo, Antonella Santone:
Deep learning for image-based mobile malware detection. J. Comput. Virol. Hacking Tech. 16(2): 157-171 (2020) - [c93]Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
VisualDroid: automatic triage and detection of Android repackaged applications. ARES 2020: 50:1-50:7 - [c92]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786 - [c91]Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone:
Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops 2020: 890-901 - [c90]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops 2020: 959-969 - [c89]Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA 2020: 1368-1382 - [c88]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP 2020: 804-814 - [c87]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP 2020: 825-834 - [c86]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Bank Credit Risk Management based on Data Mining Techniques. ICISSP 2020: 837-843 - [c85]Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone:
Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6 - [c84]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. IJCNN 2020: 1-8 - [c83]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN 2020: 1-6 - [c82]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone:
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN 2020: 1-8 - [c81]Francesco Mercaldo, Antonella Santone, Francesco Tariello, Giuseppe Peter Vanoli:
Hourly Global Solar Radiation Reconstruction Applying Machine Learning. IJCNN 2020: 1-8 - [c80]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS 2020: 499-506 - [c79]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops 2020: 255-260 - [c78]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep learning for heart disease detection through cardiac sounds. KES 2020: 2202-2211 - [c77]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine learning for coronavirus covid-19 detection from chest x-rays. KES 2020: 2212-2221 - [c76]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine Learning for Driver Detection through CAN bus. VTC Spring 2020: 1-5
2010 – 2019
- 2019
- [j44]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access 7: 186236-186246 (2019) - [j43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j42]Lanfranco Lopriore, Antonella Santone:
Protected pointers to specify access privileges in distributed systems. J. Parallel Distributed Comput. 126: 1-12 (2019) - [j41]Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo:
Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. 13(1): 1018-1029 (2019) - [j40]Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019) - [j39]Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019) - [c75]Giovanni Capobianco, Umberto Di Giacomo, Tommaso Di Tusa, Francesco Mercaldo, Antonella Santone:
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking. IEEE BigData 2019: 5995-5997 - [c74]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData 2019: 5998-6000 - [c73]Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone:
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData 2019: 6232-6234 - [c72]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS 2019: 670-672 - [c71]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE 2019: 169-178 - [c70]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Can Machine Learning Predict Soccer Match Results? ICAART (2) 2019: 458-465 - [c69]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Spyware Detection using Temporal Logic. ICISSP 2019: 690-699 - [c68]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c67]Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone:
Machine Learning to Identify Gender via Hair Elements. IJCNN 2019: 1-7 - [c66]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Neural Networks for Lung Cancer Detection through Radiomic Features. IJCNN 2019: 1-10 - [c65]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN 2019: 1-10 - [c64]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN 2019: 1-10 - [c63]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS 2019: 331-336 - [c62]Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c61]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES 2019: 1045-1052 - [c60]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Model Checking for Data Anomaly Detection. KES 2019: 1277-1286 - [c59]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
Dunuen: A User-Friendly Formal Verification Tool. KES 2019: 1431-1438 - [c58]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. KES 2019: 1787-1794 - [c57]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. KES 2019: 1795-1802 - [c56]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Formal Modeling for Magnetic Resonance Images Tamper Mitigation. KES 2019: 1803-1810 - [c55]Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Wearable Devices for Human Activity Recognition and User Detection. PDP 2019: 365-372 - [c54]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE 2019: 231-236 - [c53]Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone:
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE 2019: 249-254 - 2018
- [j38]Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17(6): 719-738 (2018) - [j37]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018) - [j36]Antonella Santone:
Special issue on formal methods for security engineering. J. Comput. Virol. Hacking Tech. 14(4): 251 (2018) - [c52]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. IEEE BigData 2018: 5305-5307 - [c51]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData 2018: 5319-5321 - [c50]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c49]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c48]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c46]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c45]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - 2017
- [c44]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c42]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c41]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c40]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c39]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES 2017: 2519-2528 - [c38]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [j35]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - [c37]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Ransomware Inside Out. ARES 2016: 628-637 - [c36]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221 - [c35]