CONTRO, FILIPPO
CONTRO, FILIPPO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 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
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
2021-01-01 Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla
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 | |
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode | 1-gen-2021 | Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla |