Security Analysis of Smart Contracts in Datalog.

Petar Tsankov

Browse the full ISoLA paper archive.