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

Silent and Continuous Authentication in Mobile Environment., , , and . SECRYPT, page 97-108. SciTePress, (2016)VizMal: A Visualization Tool for Analyzing the Behavior of Android Malware., , , and . ICISSP, page 517-525. SciTePress, (2018)Identifying Insecure Features in Android Applications using Model Checking., , and . ICISSP, page 589-596. SciTePress, (2018)Applying Deep Learning Techniques to CAN Bus Attacks for Supporting Identification and Analysis Tasks., , and . ICETE (2), page 479-487. SciTePress, (2018)Applying Machine Learning Techniques to Detect and Analyze Web Phishing Attacks., , and . iiWAS, page 355-359. ACM, (2018)Android malware detection based on system call sequences and LSTM., , , , and . Multimedia Tools Appl., 78 (4): 3979-3999 (2019)Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning., , , , and . SAFECOMP Workshops, volume 11094 of Lecture Notes in Computer Science, page 374-386. Springer, (2018)Machine Learning to Identify Gender via Hair Elements., , , , and . IJCNN, page 1-7. IEEE, (2019)Wearable Devices for Human Activity Recognition and User Detection., , , , and . PDP, page 365-372. IEEE, (2019)BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes., , , and . Ind. Manag. Data Syst., 120 (7): 1383-1400 (2020)