Automatic Generation of Attacker Contracts in Solidity.

Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-ke Fredlund, ngel Herranz, Julio Mario

Browse the full CAV paper archive.