Formal Methods for Android Banking Malware Analysis and Detection
2019-01-01 Iadarola, G.; Martinelli, F.; Mercaldo, F.; Santone, A.
Le monete vandaliche, gote e bizantine dalla catacomba di S. Gennaro a Napoli: dati preliminari
2019-01-01 Ebanista, C.; Santoro, A. M.
Il santuario martiriale di S. Felice a Cimitile/Nola (secoli IV-VII)
2019-01-01 Ebanista, C.
Spatiosa ad habitandum loca, quae usque ad illud tempus deserta erant. Aspetti delle dinamiche insediative altomedievali nell’area dell’attuale Molise
2019-01-01 Ebanista, C.
Questioni aperte e prospettive del ricorso al digitale nel referendum
2020-01-01 Falletta, Pietro Santo Leopoldo
Dunuen: A user-friendly formal verification tool
2019-01-01 Capobianco, G.; Giacomo, U. D.; Mercaldo, F.; Santone, A.
Exploiting model checking for mobile botnet detection
2019-01-01 Bernardeschi, C.; Mercaldo, F.; Nardone, V.; Santone, A.
Model checking for data anomaly detection
2019-01-01 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Energy consumption metrics for mobile device dynamic malware detection
2019-01-01 Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Dependable Person Recognition by Means of Local Descriptors of Dynamic Facial Features
2019-01-01 Castiglione, A.; Grazioli, G.; Iengo, S.; Nappi, M.; Ricciardi, S.
A large-scaled analysis on the spatial variability of soil parameters and its relation to soil erodibility and landscape characteristics in Southern Italy (Molise Region)
2019-01-01 DI IORIO, Erika; Circelli, Luana; Colombo, Claudio Massimo; Aucelli, Pietro P. C.; Rosskopf, Carmen Maria
Bioaccessibility of Pb and As in contaminated urban soil evaluated by chemical extraction and Vis-NIR spectroscopy
2018-01-01 Paltseva, Anna; Colombo, Claudio Massimo; Deeb, Maha; DI IORIO, Erika; Torino, Valentina; Cheng, Zhongqi
Radiomic features for medical images tamper detection by equivalence checking
2019-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.
A blockchain based proposal for protecting healthcare systems through formal methods
2019-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.
Formal modeling for magnetic resonance images tamper mitigation
2019-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.
L’agro vesuviano dopo l’eruzione del 79 d.C.
2019-01-01 Soricelli, Gianluca
Tossicità e malattie metaboliche acquisite
2018-01-01 Caranci, Ferdinando; Maggialetti, Nicola; Zappia, Marcell; Piccolo, Claudia Ludia; Brunese, Luca
From architecture to the landscape. A casket in which the sedimentary layers of collective conscience are deposited
2019-01-01 Barlozzini, Piero
Model Checking to Detect the Hummingbad Malware
2019-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G.
Un approccio geo-archeologico integrato per lo studio dell’evoluzione geomorfologica ed antropica recente della piana costiera del fiume Biferno
2018-01-01 Bracone, V.; Cozzolino, M.; De Benedittis, G.; Mauriello, P.; Rosskopf, C. M.; Valente, E.
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno (Proceeding)4679
Data di pubblicazione
- In corso di stampa20
- 2020 - 2025530
- 2010 - 20191495
- 2000 - 20091921
- 1990 - 1999613
- 1980 - 198998
- 1978 - 19791
Editore
- Institute of Electrical and Electronics Engineers Inc.106
- IEEE66
- Springer Science and Business Media Deutschland GmbH29
- Springer28
- Edizioni Scientifiche Italiane26
- IEEE Computer Society25
- SciTePress23
- Giuffrè21
- R. Cudabba, E. Marconi18
- Chiriotti Editori17
Rivista
- ISTISAN CONGRESSI15
- PROCEDIA COMPUTER SCIENCE14
- ATTI CONFERENZA NAZIONALE ASITA13
- JOURNAL OF PHYSICS. CONFERENCE SERIES9
- GIORNALE BOTANICO ITALIANO7
- PANORAMA DELLA SANITÀ7
- ACTA HORTICULTURAE6
- ITALIAN JOURNAL OF ANIMAL SCIENCE6
- THE FEBS JOURNAL5
- ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE40
- LECTURE NOTES IN CIVIL ENGINEERING20
- PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
- COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE7
- CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE7
- PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
- CEUR WORKSHOP PROCEEDINGS6
- PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
- ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
- IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
- Android34
- Security25
- suicide21
- Software20
- Malware17
- Machine Learning16
- suicidio16
- deep learning13
- machine learning13
- Machine learning12
Lingua
- eng2210
- ita1818
- fre33
- ger16
- und15
- spa14
- por3
- grc2
- lat2
- cze1
Accesso al fulltext
- no fulltext4675
- open2
- reserved2
Appartenenza
- DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1181
- DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1773
- DIPARTIMENTO DI ECONOMIA276
- DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE908
- DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE519
- DIPARTIMENTO GIURIDICO133