Dalila RESSI

Position
Adjunct Professor
E-mail
dalila.ressi@unive.it
839745@stud.unive.it
Website
https://www.unive.it/people/dalila.ressi (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics (DAIS)
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino

Office hours

Venice San Giobbe Venice School of Management

Teaching activity current year

Teaching activity previous years

Activities and research skills

Main departmental research areas and fields
Area: Informatica Linea: ARTIFICIAL INTELLIGENCE
Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione
SSD:
INFO-01/A
Other members of the research group:
Michele BUGLIESI
Sabina ROSSI
Alvise SPANO'
Rocco TRIPODI

Publication highlights

Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Ressi, Dalila; Rossi, Sabina AlgoMove: Typed Abstractions for Algorand Smart Contracts in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. 100485 (ISSN 2096-7209)
DOI 2026, Journal Article - ARCA card: 10278/5117627


Rizzo, Matteo; Spanò, Alvise; Benetollo, Lorenzo; Ressi, Dalila; Gasparetto, Andrea; Rossi, Sabina Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts in Matteo Rizzo; Alvise Spanò; Lorenzo Benetollo; Dalila Ressi; Andrea Gasparetto; Sabina Rossi, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer Science and Business Media Deutschland GmbH, vol. 669, pp. 37-56, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, 2025 (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Article in Conference Proceedings - ARCA card: 10278/5113990


Ressi, Dalila; Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Piazza, Carla; Rossi, Sabina Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. 1 (ISSN 2096-7209)
DOI 2025, Journal Article - ARCA card: 10278/5109987


Rizzo M.; Ressi D.; Gasparetto A.; Rossi S. A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection , CEUR Workshop Proceedings, CEUR-WS, vol. 3904, pp. 119-126, Convegno: 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, 2024 (ISSN 1613-0073)
2025, Article in Conference Proceedings - ARCA card: 10278/5105052


Laneve, Cosimo; Spanò, Alvise; Ressi, D.; Rossi, Sabina.; Bugliesi, M. Assessing Code Understanding in LLMs , Forte 2025, Springer, Cham, vol. 15732, pp. 202-210, Convegno: Forte 2025 (ISBN 9783031954962; 9783031954979) (ISSN 0302-9743)
DOI 2025, Article in Conference Proceedings - ARCA card: 10278/5097593


List of publications

Curriculum vitae

 

cafoscariNEWS