Automatic generation of attacker contracts in Solidity
Authors: Ignacio Ballesteros, Clara Benac, Luis Eduardo Bueso, Lars-Åke Fredlund, Ángel Herranz and Julio Mariño
Paper Information
| Title: | Automatic generation of attacker contracts in Solidity |
| Authors: | Ignacio Ballesteros, Clara Benac, Luis Eduardo Bueso, Lars-Åke Fredlund, Ángel Herranz and Julio Mariño |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | Reentrancy Attack, Smart Contracts, Property Based Testing |
| Pages: | 19 |
| Talk: | Aug 11 11:30 (Session 125D: Formal Methods for Smart Contracts) |
| Paper: |  |