Sfoglia per Autore
Ransomware Steals Your Phone. Formal Methods Rescue It
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Acquiring and Analyzing App Metrics for Effective Mobile Malware Detection
2016-01-01 Canfora, G; Eric, Medvet; Mercaldo, Francesco; Visaggio, CORRADO AARON
Download malware? no, thanks: how formal methods can block update attacks
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
R-PackDroid: API package-based characterization and detection of mobile ransomware
2017-01-01 Mercaldo, Francesco; Visaggio, CORRADO AARON; Maiorca, Davide; Giacinto, Giorgio; Martinelli, Fabio
Mobile Silent and Continuous Authentication using Apps Sequence
2017-01-01 Canfora, Gerardo; Mercaldo, Francesco; Russo, Ernesto Rosario; Visaggio, CORRADO AARON; Giovanni, Cappabianca; Pasquale, Carangelo; Fabio, Martinelli
Android apps and user feedback: a dataset for software evolution and quality improvement
2017-01-01 DI SORBO, Andrea; Mercaldo, Francesco; Visaggio, CORRADO AARON; Canfora, Gerardo; Grano, Giovanni; Panichella, Sebastiano
Identifying Mobile Repackaged Applications through Formal Methods
2017-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Martinelli, Fabio
Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis
2018-01-01 Bacci, A.; Bartoli, A.; Martinelli, F.; Medvet, E.; Mercaldo, F.; Visaggio, C. A.
Cross-organisational process mining in cloud environments
2018-01-01 Bernardi, M. L.; Cimitile, M.; Mercaldo, F.
Talos: no more ransomware victims with formal methods
2018-01-01 Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
On the effectiveness of system API-related information for Android ransomware detection
2019-01-01 Scalas, M.; Maiorca, D.; Mercaldo, F.; Visaggio, C. A.; Martinelli, F.; Giacinto, G.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour
2019-01-01 Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Ransomware Steals Your Phone. Formal Methods Rescue It | 1-gen-2016 | Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON | |
Acquiring and Analyzing App Metrics for Effective Mobile Malware Detection | 1-gen-2016 | Canfora, G; Eric, Medvet; Mercaldo, Francesco; Visaggio, CORRADO AARON | |
Download malware? no, thanks: how formal methods can block update attacks | 1-gen-2016 | Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON | |
R-PackDroid: API package-based characterization and detection of mobile ransomware | 1-gen-2017 | Mercaldo, Francesco; Visaggio, CORRADO AARON; Maiorca, Davide; Giacinto, Giorgio; Martinelli, Fabio | |
Mobile Silent and Continuous Authentication using Apps Sequence | 1-gen-2017 | Canfora, Gerardo; Mercaldo, Francesco; Russo, Ernesto Rosario; Visaggio, CORRADO AARON; Giovanni, Cappabianca; Pasquale, Carangelo; Fabio, Martinelli | |
Android apps and user feedback: a dataset for software evolution and quality improvement | 1-gen-2017 | DI SORBO, Andrea; Mercaldo, Francesco; Visaggio, CORRADO AARON; Canfora, Gerardo; Grano, Giovanni; Panichella, Sebastiano | |
Identifying Mobile Repackaged Applications through Formal Methods | 1-gen-2017 | Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Martinelli, Fabio | |
Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis | 1-gen-2018 | Bacci, A.; Bartoli, A.; Martinelli, F.; Medvet, E.; Mercaldo, F.; Visaggio, C. A. | |
Cross-organisational process mining in cloud environments | 1-gen-2018 | Bernardi, M. L.; Cimitile, M.; Mercaldo, F. | |
Talos: no more ransomware victims with formal methods | 1-gen-2018 | Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A. | |
On the effectiveness of system API-related information for Android ransomware detection | 1-gen-2019 | Scalas, M.; Maiorca, D.; Mercaldo, F.; Visaggio, C. A.; Martinelli, F.; Giacinto, G. | |
LEILA: formaL tool for idEntifying mobIle maLicious behAviour | 1-gen-2019 | Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A. |
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