Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.

Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels

Browse the full SP paper archive.