Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts.

Christof Ferreira Torres, Julian Schtte, Radu State

Browse the full ACSAC paper archive.