Andrea Benini

Publication Activity (10 Years)

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

Top Topics

Static Analysis

Top Venues

J. Syst. Softw.

Publications

Fausto Spoto, Sara Migliorini, Mauro Gambini, Andrea Benini
On the use of generic types for smart contracts. Clust. Comput. 26 (4) (2023)
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)
Andrea Benini, Mauro Gambini, Sara Migliorini, Fausto Spoto
Power and Pitfalls of Generic Smart Contracts. BCCA (2021)