DappGuard : Active Monitoring and Defense for Solidity Smart Contracts
Formal Verification of Smart Contracts: Short Paper