2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2025
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…
cs.LO2024★ 2 cited
Leveraging Slither and Interval Analysis to build a Static Analysis Tool
Stefan-Claudiu Susan
Even though much progress has been made in identifying and mitigating smart contract vulnerabilities, we often hear about coding or design issues leading to great financial losses.…
cs.SE2023★ 2 cited
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…