Sfoglia per Autore  NARDONE, Vittoria

Opzioni
Mostrati risultati da 1 a 16 di 16
Titolo Data di pubblicazione Autore(i) File
Identification of Android Malware Families with Model Checking 1-gen-2016 Battista, P; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Hey Malware, I can Find You! 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Ransomware Steals your Phone. Formal Methods Rescue it 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
"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
Identifying Mobile Repackaged Applications through Formal Methods 1-gen-2017 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
Identifying Insecure Features in Android Applications using Model Checking 1-gen-2018 Martinelli, F.; Mercaldo, F.; Nardone, V.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 1-gen-2019 Canfora, Gerardo; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, Corrado Aaron
Spyware Detection using Temporal Logic 1-gen-2019 Fasano, F.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Machine Learning to Identify Gender via Hair Elements 1-gen-2019 Avino, P.; Mercaldo, F.; Nardone, V.; Notardonato, I.; 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.
Colluding Android Apps Detection via Model Checking 1-gen-2020 Casolare, R.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Driver Identification Through Formal Methods 1-gen-2021 Martinelli, F.; Mercaldo, F.; Nardone, V.; 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.
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.
Mostrati risultati da 1 a 16 di 16
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile