Alvise Spanò

23 papers C 2Misc 1Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reentrancy Detection in the Age of LLMs.
CoRR
Dalila Ressi, Alvise Spanò, Matteo Rizzo, Lorenzo Benetollo, Sabina Rossi
2025 — conf
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts.
BlockTEA
Matteo Rizzo, Alvise Spanò, Lorenzo Benetollo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi
2025 C conf
Assessing Code Understanding in LLMs.
FORTE
Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025 J jnl
Assessing Code Understanding in LLMs.
CoRR
Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025 C conf
Modeling Reentrancy in Smart Contracts through Noninterference.
DLT
Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò
2025 J jnl
Smart contract languages: A comparative analysis.
Future Gener. Comput. Syst.
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
2024 J jnl
Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML.
CoRR
Alvise Spanò
2024 J jnl
Flexible and reversible conversion between extensible records and overloading constraints for ML.
J. Syst. Softw.
Alvise Spanò
2024 J jnl
Smart Contract Languages: a comparative analysis.
CoRR
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
2024 J jnl
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis.
CoRR
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
2023 — conf
ALGOMOVE - A Move Embedding for Algorand.
Blockchain
Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
2023 J jnl
Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins.
BMC Bioinform.
Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix Jurgal Dongmo Foumthuim, Achille Giacometti, Marta Simeoni
2022 J jnl
A Wearable System for Jump Detection in Inline Figure Skating.
Sensors
Antonio Panfili, Alvise Spanò, Agostino Cortesi
2021 J jnl
Geographic location based secure, dynamic and opportunistic RPL for distributed networks.
Ad Hoc Networks
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
2020 J jnl
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability.
Sensors
Alvise Spanò, Agostino Cortesi
2019 — conf
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks.
CISIM
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
2019 — conf
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability.
CISIM
Alvise Spanò, Agostino Cortesi, Giulio Zausa
2013 — conf
Lintent: Towards Security Type-Checking of Android Applications.
FMOODS/FORTE
Michele Bugliesi, Stefano Calzavara, Alvise Spanò
2012 Misc conf
A formal specification for casanova, a language for computer games.
EICS
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo
2012 — conf
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.
Wireless Days
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
2011 — conf
Designing Casanova: A Language for Games.
ACG
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi
2011 — conf
Type-flow Analysis for Legacy COBOL Code.
ICSOFT (2)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
2011 — conf
Typing Legacy COBOL Code.
ICSOFT (Selected Papers)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi