OLIVIERI, LUCA
OLIVIERI, LUCA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
Design and Implementation of Static Analyses for Tezos Smart Contracts
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
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
Software Verification Challenges in the Blockchain Ecosystem
2024-01-01 Olivieri, Luca; Spoto, Fausto
Static Privacy Analysis by Flow Reconstruction of Tainted Data
2021-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola 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 | |
| Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| 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 | |
| Software Verification Challenges in the Blockchain Ecosystem | 1-gen-2024 | Olivieri, Luca; Spoto, Fausto | |
| Static Privacy Analysis by Flow Reconstruction of Tainted Data | 1-gen-2021 | Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto |