CROSARA, MARCO
CROSARA, MARCO
DIREZIONE OFFERTA FORMATIVA, SERVIZI E SEGRETERIE STUDENTI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 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
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
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 | |
Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio |