Badaruddin CHACHAR
- Qualifica
- Dottorando
- Dottorato
-
INFORMATICA
38° Ciclo - Immatricolati nel 2022
- Area tematica
- Smart Contract Vulnerability Detection Using Static Analysis
- Supervisore
- Agostino Cortesi, Pietro Ferrara
- Sito web
-
www.unive.it/persone/badaruddin.chachar (scheda personale)
- Struttura
-
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| 2025 | Articolo in Atti di convegno |
Chachar B.; Cavazza M.; Bracciali A.; Ferrara P.; Cortesi A. Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning , CEUR Workshop Proceedings, CEUR-WS, vol. 3962, Convegno: 2025 Joint National Conference on Cybersecurity, ITASEC and SERICS 2025, 2025 (ISSN 1613-0073) - Scheda ARCA: 10278/5105241 |
| 2024 | Articolo su rivista |
Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5060921 |
| 2024 | Articolo su rivista |
Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5083652 |