Noninterference Analysis for Smart Contracts: Would you Bet on it? - Samia Guesmi; Carla Piazza; Sabina Rossi (DLT, 2024)