BENINI, ANDREA
BENINI, ANDREA
DIREZIONE OFFERTA FORMATIVA, SERVIZI E SEGRETERIE STUDENTI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
2023-01-01 Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano
On the use of generic types for smart contracts
2023-01-01 Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode | 1-gen-2023 | Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano | |
On the use of generic types for smart contracts | 1-gen-2023 | Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea |