73 citations · 252 across the 54 of their papers we have counts for
1 paper · 1 filter
Jiachi Chen, Xin Xia, David Lo +3
Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-…