4 citations · 8 across the 6 of their papers we have counts for
1 paper · 2 filters
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini +1
Smart contracts are an attractive target for attackers, as evidenced by a long history of security incidents. A current limitation of smart contract verification tools is that they…