Hunting the Ethereum Smart Contract: Color-inspired Inspection of Potential Attacks
Formal Verification of Smart Contracts: Short Paper