Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts
2023-01-01 Tahir, Usman; Siyal, Fiza; Ianni, Michele; Guzzo, Antonella; Fortino, Giancarlo
Deep Learning-Based Detection of CSRF Vulnerabilities in Web Applications
2023-01-01 Beltrano, Giuseppe; Greco, Claudia; Ianni, Michele; Fortino, Giancarlo
A Systematic Mapping Study of Italian Research on Workflows
2023-01-01 Aldinucci, Marco; Baralis, ELENA MARIA; Cardellini, Valeria; Colonnelli, Iacopo; Danelutto, Marco; Decherchi, Sergio; Di Modica, Giuseppe; Ferrucci, Luca; Gribaudo, Marco; Iannone, Francesco; Lapegna, Marco; Medic, Doriana; Muscianisi, Giuseppa; Righetti, Francesca; Sciacca, Eva; Tonellotto, Nicola; Tortonesi, Mauro; Trunfio, Paolo; Vardanega, Tullio
Il rilievo per la conoscenza, l’analisi e la valorizzazione del patrimonio culturale. Esperienze immersive per la sala capitolare dell’abbazia di S. Maria della Matina.
2023-01-01 Fortunato, Giuseppe; Zappani, Antonio Agostino; Russo, Lorenzo
Memorie, riflessioni e piani di economia politica per la Calabria Ulteriore attorno al 1783
2023-01-01 Campenni', Francesco
Tropea tra due rivoluzioni: 1647-1722
2023-01-01 Campenni', Francesco
Chemical profile of fermented animal milks and isolation and characterization of exopolysaccharides from kefir grains
2023-01-01 LA TORRE, Chiara; Cione, Erika; Plastina, Pierluigi; Fazio, Alessia
On the Verification and Existence Problems in Epistemic Argumentation Framework
2023-01-01 Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I.
On Weak Constrained Argumentation Frameworks
2021-01-01 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework
2023-01-01 Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I.
Literature overview on AI-based garment sizing systems under a sustainable perspective
2023-01-01 Chiurco, A.; D'Augusta, V.; La Rosa, A.; Longo, F.; Nicoletti, L.; Solina, V.
A Comparative Study of Genetic Algorithms for Integrated Predictive Maintenance and Job Shop Scheduling
2023-01-01 Cimino, A.; Elbasheer, M.; Longo, F.; Mirabelli, G.; Padovano, A.; Solina, V.
Early detection of eating disorders through machine learning techniques
2020-01-01 Astorino, A.; Berti, R.; Astorino, A.; Bitonti, V.; De Marco, M.; Feraco, V.; Palumbo, A.; Porti, F.; Zannino, I.
DEGAIN as tool for Missing Data Imputation
2023-01-01 Shahbazian, R.; Trubitsyna, I.
Relative Inconsistency Measures for Indefinite Databases with Denial Constraints
2023-01-01 Parisi, F.; Grant, J.
How Many Inconsistencies Are In Your Database?
2023-01-01 Parisi, F.; Grant, J.
A Cooperative Vehicle Routing Platform for Logistic Management in Healthcare
2018-01-01 Falvo, V.; Scalise, M.; Lupia, F.; Casella, P.; Cannataro, M.
HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems
2023-01-01 Lucchese, M.; Lupia, F.; Merro, M.; Paci, F.; Zannone, N.; Furfaro, A.
Estimation of scientific productivity with a hierarchical Bayesian model
2023-01-01 Negri, Ilia; Mezzetti, Maura
Evolution of the Social Debate on Climate Crisis: Insights from Twitter During the Conferences of the Parties
2023-01-01 Martirano, L; La Cava, L; Tagarelli, A
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts | 1-gen-2023 | Tahir, Usman; Siyal, Fiza; Ianni, Michele; Guzzo, Antonella; Fortino, Giancarlo | |
| Deep Learning-Based Detection of CSRF Vulnerabilities in Web Applications | 1-gen-2023 | Beltrano, Giuseppe; Greco, Claudia; Ianni, Michele; Fortino, Giancarlo | |
| A Systematic Mapping Study of Italian Research on Workflows | 1-gen-2023 | Aldinucci, Marco; Baralis, ELENA MARIA; Cardellini, Valeria; Colonnelli, Iacopo; Danelutto, Marco; Decherchi, Sergio; Di Modica, Giuseppe; Ferrucci, Luca; Gribaudo, Marco; Iannone, Francesco; Lapegna, Marco; Medic, Doriana; Muscianisi, Giuseppa; Righetti, Francesca; Sciacca, Eva; Tonellotto, Nicola; Tortonesi, Mauro; Trunfio, Paolo; Vardanega, Tullio | |
| Il rilievo per la conoscenza, l’analisi e la valorizzazione del patrimonio culturale. Esperienze immersive per la sala capitolare dell’abbazia di S. Maria della Matina. | 1-gen-2023 | Fortunato, Giuseppe; Zappani, Antonio Agostino; Russo, Lorenzo | |
| Memorie, riflessioni e piani di economia politica per la Calabria Ulteriore attorno al 1783 | 1-gen-2023 | Campenni', Francesco | |
| Tropea tra due rivoluzioni: 1647-1722 | 1-gen-2023 | Campenni', Francesco | |
| Chemical profile of fermented animal milks and isolation and characterization of exopolysaccharides from kefir grains | 1-gen-2023 | LA TORRE, Chiara; Cione, Erika; Plastina, Pierluigi; Fazio, Alessia | |
| On the Verification and Existence Problems in Epistemic Argumentation Framework | 1-gen-2023 | Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I. | |
| On Weak Constrained Argumentation Frameworks | 1-gen-2021 | Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I. | |
| Complexity of Verification and Existence Problems in Epistemic Argumentation Framework | 1-gen-2023 | Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I. | |
| Literature overview on AI-based garment sizing systems under a sustainable perspective | 1-gen-2023 | Chiurco, A.; D'Augusta, V.; La Rosa, A.; Longo, F.; Nicoletti, L.; Solina, V. | |
| A Comparative Study of Genetic Algorithms for Integrated Predictive Maintenance and Job Shop Scheduling | 1-gen-2023 | Cimino, A.; Elbasheer, M.; Longo, F.; Mirabelli, G.; Padovano, A.; Solina, V. | |
| Early detection of eating disorders through machine learning techniques | 1-gen-2020 | Astorino, A.; Berti, R.; Astorino, A.; Bitonti, V.; De Marco, M.; Feraco, V.; Palumbo, A.; Porti, F.; Zannino, I. | |
| DEGAIN as tool for Missing Data Imputation | 1-gen-2023 | Shahbazian, R.; Trubitsyna, I. | |
| Relative Inconsistency Measures for Indefinite Databases with Denial Constraints | 1-gen-2023 | Parisi, F.; Grant, J. | |
| How Many Inconsistencies Are In Your Database? | 1-gen-2023 | Parisi, F.; Grant, J. | |
| A Cooperative Vehicle Routing Platform for Logistic Management in Healthcare | 1-gen-2018 | Falvo, V.; Scalise, M.; Lupia, F.; Casella, P.; Cannataro, M. | |
| HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems | 1-gen-2023 | Lucchese, M.; Lupia, F.; Merro, M.; Paci, F.; Zannone, N.; Furfaro, A. | |
| Estimation of scientific productivity with a hierarchical Bayesian model | 1-gen-2023 | Negri, Ilia; Mezzetti, Maura | |
| Evolution of the Social Debate on Climate Crisis: Insights from Twitter During the Conferences of the Parties | 1-gen-2023 | Martirano, L; La Cava, L; Tagarelli, 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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...16596
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20262583
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989292
- 1973 - 197928
Editore
- Institute of Electrical and Elect...517
- IEEE377
- Springer324
- Springer Verlag161
- CEUR-WS157
- Springer Science and Business Med...148
- IEEE Computer Society136
- Elsevier B.V.128
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS171
- LECTURE NOTES IN COMPUTER SCIENCE127
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE51
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Artificial Intelligence75
- Answer Set Programming74
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11241
- ita3480
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16569
- open22
- embargoed6
- reserved1