ARCERI, VINCENZO
ARCERI, VINCENZO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval
2021-01-01 Arceri, Vincenzo; Mastroeni, Isabella
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 Analysis for ECMAScript String Manipulation Programs
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Xu, Sunyi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval | 1-gen-2021 | Arceri, Vincenzo; Mastroeni, Isabella | |
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 Analysis for ECMAScript String Manipulation Programs | 1-gen-2020 | Arceri, Vincenzo; Mastroeni, Isabella; Xu, Sunyi |