( en | de | ru )

 

Disambiguation of "Santone, Antonella"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Methods for Android Banking Malware Analysis and Detection.

, , , and . IoTSMS, page 331-336. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antonella Nicoletti

Antonella Lauri

Antonella Ippolito

Antonella Balestra

Antonella Colaiuda

 

Other publications of authors with the same name

Real-Time SCADA Attack Detection by Means of Formal Methods., , and . WETICE, page 231-236. IEEE, (2019)Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique., , , and . WETICE, page 249-254. IEEE, (2019)Compositionality for Improving Model Checking.. FORTE, volume 183 of IFIP Conference Proceedings, page 105-120. Kluwer, (2000)Abstract Interpretation of Trace Semantics for Concurrent Calculi., , , and . Inf. Process. Lett., 70 (2): 69-78 (1999)Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation., , , , and . Sensors, 23 (17): 7614 (September 2023)Towards a Logical Semantics for Pure Prolog., , , and . Sci. Comput. Program., 32 (1-3): 145-176 (1998)Model checking for malicious family detection and phylogenetic analysis in mobile environment., , , , and . Comput. Secur., (2020)An Explainable Convolutional Neural Network for Dynamic Android Malware Detection., , and . ICISSP, page 305-312. SciTePress, (2023)Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis., , , , and . ICMLA, page 2207-2213. IEEE, (2023)Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning., , , , , and . ICMLA, page 1791-1798. IEEE, (2022)