465 citations · 946 across the 47 of their papers we have counts for
1 paper · 2 filters
Lu Liu, Lili Wei, Wuqi Zhang +3
Smart contracts are programs running on blockchain to execute transactions. When input constraints or security properties are violated at runtime, the transaction being executed by…