Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
Pasqua, Michele, Benini, Andrea, Contro, Filippo, Crosara, Marco, Dalla Preda, Mila, Ceccato, Mariano
Published in The Journal of systems and software (01.06.2023)
Published in The Journal of systems and software (01.06.2023)
Get full text
Journal Article
On the use of generic types for smart contracts
Spoto, Fausto, Migliorini, Sara, Gambini, Mauro, Benini, Andrea
Published in Cluster computing (01.08.2023)
Published in Cluster computing (01.08.2023)
Get full text
Journal Article
Power and Pitfalls of Generic Smart Contracts
Benini, Andrea, Gambini, Mauro, Migliorini, Sara, Spoto, Fausto
Published in 2021 Third International Conference on Blockchain Computing and Applications (BCCA) (15.11.2021)
Published in 2021 Third International Conference on Blockchain Computing and Applications (BCCA) (15.11.2021)
Get full text
Conference Proceeding