2 citations · 2 across the 4 of their papers we have counts for
4 papers
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
Ştefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
The high rate of false alarms from static analysis tools and Large Language Models (LLMs) complicates vulnerability detection in Solidity Smart Contracts, demanding methods that ca…
Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Iaşi, Romania on September 17-19, 2025.
Towards Stream-Based Monitoring for EVM Networks
Emanuel Onica, Claudiu-Nicu Bărbieru, Andrei Arusoaie +2
We believe that leveraging real-time blockchain operational data is of particular interest in the context of the current rapid expansion of rollup networks in the Ethereum ecosyste…
Identifying Vulnerabilities in Smart Contracts using Interval Analysis
Ştefan-Claudiu Susan, Andrei Arusoaie
This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in s…