NEGRINI, LUCA
NEGRINI, LUCA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.019 secondi).
Design and Implementation of Static Analyses for Tezos Smart Contracts
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
2024-01-01 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
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
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 |