Author of the publication

Ransomware Steals Your Phone. Formal Methods Rescue It.

, , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 212-221. Springer, (2016)

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.

 

Other publications of authors with the same name

Acquiring and Analyzing App Metrics for Effective Mobile Malware Detection., , , and . IWSPA@CODASPY, page 50-57. ACM, (2016)Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour., , , and . ARES, page 76:1-76:6. ACM, (2017)Ransomware Steals Your Phone. Formal Methods Rescue It., , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 212-221. Springer, (2016)Computational cost of CT Radiomics workflow: a case study on COVID-19., , , , and . COMPSAC, page 1539-1544. IEEE, (2023)Evaluating Deep Learning Classification Reliability in Android Malware Family Detection., , , and . ISSRE Workshops, page 255-260. IEEE, (2020)Explainable Deep Learning for Alzheimer Disease Classification and Localisation., , , , , and . AII, page 129-143. (2022)StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation., , , , , , , and . ICISSP, page 741-748. SciTePress, (2023)Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning., , , and . ARES, page 79:1-79:10. ACM, (2023)Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps., , , and . STM, volume 13867 of Lecture Notes in Computer Science, page 104-114. Springer, (2022)Identifying Mobile Repackaged Applications through Formal Methods., , , , and . ICISSP, page 673-682. SciTePress, (2017)