Sfoglia per Autore NARDONE, Vittoria
Identification of Android Malware Families with Model Checking
2016-01-01 Battista, P; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Hey Malware, I can Find You!
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Download Malware? No, thanks. How Formal Methods can Block Update Attacks
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Ransomware Steals your Phone. Formal Methods Rescue it
2016-01-01 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
2017-01-01 Corrado Aaron Visaggio, Vittoria Nardone; Nardone, Vittoria; Visaggio, CORRADO AARON
Identifying Mobile Repackaged Applications through Formal Methods
2017-01-01 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
Identifying Insecure Features in Android Applications using Model Checking
2018-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour
2019-01-01 Canfora, Gerardo; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, Corrado Aaron
Spyware Detection using Temporal Logic
2019-01-01 Fasano, F.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Detecting Video Game-Specific Bad Smells in Unity Projects
2020-01-01 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Colluding Android Apps Detection via Model Checking
2020-01-01 Casolare, R.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Driver Identification Through Formal Methods
2021-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems
2022-01-01 Zampetti, F.; Nardone, V.; Di Penta, M.
UnityLint: A Bad Smell Detector for Unity
2023-01-01 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
2023-01-01 Nardone, V.; Muse, B.; Abidi, M.; Khomh, F.; Di Penta, M.
| 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. | |
| 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. |
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