


Остановите войну!
for scientists:
Antonella 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]