NARDONE, Vittoria

NARDONE, Vittoria  

DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification 1-gen-2017 Corrado Aaron Visaggio, Vittoria Nardone; Nardone, Vittoria; Visaggio, CORRADO AARON
Colluding Android Apps Detection via Model Checking 1-gen-2020 Casolare, R.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Detecting Video Game-Specific Bad Smells in Unity Projects 1-gen-2020 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Driver Identification Through Formal Methods 1-gen-2021 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Hey Malware, I can Find You! 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Identification of Android Malware Families with Model Checking 1-gen-2016 Battista, P; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Identifying Insecure Features in Android Applications using Model Checking 1-gen-2018 Martinelli, F.; Mercaldo, F.; Nardone, V.
Identifying Mobile Repackaged Applications through Formal Methods 1-gen-2017 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 1-gen-2019 Canfora, Gerardo; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, Corrado Aaron
Machine Learning to Identify Gender via Hair Elements 1-gen-2019 Avino, P.; Mercaldo, F.; Nardone, V.; Notardonato, I.; Santone, A.
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 1-gen-2022 Zampetti, F.; Nardone, V.; Di Penta, M.
Ransomware Steals your Phone. Formal Methods Rescue it 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
Spyware Detection using Temporal Logic 1-gen-2019 Fasano, F.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
UnityLint: A Bad Smell Detector for Unity 1-gen-2023 Bosco, M.; Cavoto, P.; Ungolo, A.; Muse, B. A.; Khomh, F.; Nardone, V.; Di Penta, M.
Video Game Bad Smells: What They Are and How Developers Perceive Them 1-gen-2023 Nardone, V.; Muse, B.; Abidi, M.; Khomh, F.; Di Penta, M.