Blockchain

Zeus: Analyzing Safety of Smart Contracts.
In NDSS 2018