Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
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
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 | |
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 |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile