Bonomi, Silvia; Coppa, Emilio; Lenti, Simone; Ruggiero, Claudia. (2025). Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit. In 2025 20th European Dependable Computing Conference (EDCC) (pp. 105- 109). Institute of Electrical and Electronics Engineers (IEEE). Isbn: 979-8-3315-1280-4. Doi: 10.1109/edcc66201.2025.00026.
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit
Coppa, Emilio;
2025
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Position_Paper_Toward_a_Semi-Automatic_Framework_for_Smart_Contract_Security_Audit.pdf
Solo gestori archivio
Tipologia:
Versione dell'editore
Licenza:
Tutti i diritti riservati
Dimensione
292.82 kB
Formato
Adobe PDF
|
292.82 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
