Marco Crosara

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Static Analysis

Java Virtual Machine

Information Flow

Top Venues

J. Syst. Softw.

Publications

Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. 200 (2023)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Fungible and non-fungible tokens with snapshots in Java. Clust. Comput. 26 (5) (2023)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine. BCCA (2021)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. ICPC (2021)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. CoRR (2021)