Modeling Reentrancy in Smart Contracts through Noninterference. - Lorenzo Benetollo; Semia Guesmi; Carla Piazza; Dalila Ressi; Sabina Rossi; Alvise Spanò (DLT, 2025)

Detecting Cross-Function Reentrancy from EVM Traces. - Semia Guesmi; Carla Piazza; Andrea Gasparetto; Matteo Rizzo; Sabina Rossi (FMBC, 2026)