1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2023
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Monika di Angelo, Thomas Durieux, João F. Ferreira +1
Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financi…
cs.SE2023★ 1 cited
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts
Monika di Angelo, Gernot Salzer
Smart contracts are small programs on the blockchain that often handle valuable assets. Vulnerabilities in smart contracts can be costly, as time has shown over and over again. Cou…