NEGRINI, LUCA

NEGRINI, LUCA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autore(i) File
Design and Implementation of Static Analyses for Tezos Smart Contracts 1-gen-2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 1-gen-2024 Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 1-gen-2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 1-gen-2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto