33 citations · 85 across the 14 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…