Automatic Generation of Attacker Contracts in Solidity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño. Automatic Generation of Attacker Contracts in Solidity. In Zaynah Dargaye, Clara Schneidewind, editors, 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel. Volume 105 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

This author has not been identified. Look up 'Ignacio Ballesteros' in GoogleThis author has not been identified. Look up 'Clara Benac Earle' in GoogleThis author has not been identified. Look up 'Luis Eduardo Bueso de Barrio' in GoogleThis author has not been identified. Look up 'Lars-Åke Fredlund' in GoogleThis author has not been identified. Look up 'Ángel Herranz' in GoogleThis author has not been identified. Look up 'Julio Mariño' in Google

runs on WebDSL