CROSARA, MARCO
CROSARA, MARCO
DIREZIONE OFFERTA FORMATIVA, SERVIZI E SEGRETERIE STUDENTI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 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
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine
2021-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Nicola 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 | |
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode | 1-gen-2021 | Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla | |
Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine | 1-gen-2021 | Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio |