Semia Guesmi

According to our database, Semia Guesmi authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Detecting Cross-Function Reentrancy from EVM Traces.

Semia Guesmi, Carla Piazza, Andrea Gasparetto, Matteo Rizzo, Sabina Rossi

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

2025

Modeling Reentrancy in Smart Contracts through Noninterference.

Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò

Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT 2025), 2025