*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems[J] FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2023(149) Bistarelli, Stefano Faloci, Francesco Mori, Paolo
Ethereum smart contracts: Analysis and statistics of their source code and opcodes[J] INTERNET OF THINGS 2020(11) Bistarelli, Stefano Mazzante, Gianmarco Micheletti, Matteo Mostarda, Leonardo Sestili, Davide Tiezzi, Francesco
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays[J] CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE Bistarelli, Stefano De Nicola, Rocco Galletta, Letterio Laneve, Cosimo Mercanti, Ivan Veschetti, Adele
An E-Voting System Based on Tornado Cash[C] EMERGING TECHNOLOGIES FOR AUTHORIZATION AND AUTHENTICATION, ETAA 2022 2023(13782) Bistarelli, Stefano Montalvo, Bruno Lazo La Torre Mercanti, Ivan Santini, Francesco
