smart contracts

Zeus: Analyzing Safety of Smart Contracts.

In NDSS 2018