%0 Conference Paper %1 conf/cav/BallesterosEBFH22 %A Ballesteros, Ignacio %A Earle, Clara Benac %A de Barrio, Luis Eduardo Bueso %A Fredlund, Lars-Åke %A Herranz, Ángel %A Mariño, Julio %B FMBC@CAV %D 2022 %E Dargaye, Zaynah %E Schneidewind, Clara %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:14 %T Automatic Generation of Attacker Contracts in Solidity. %U http://dblp.uni-trier.de/db/conf/cav/fmbc2022.html#BallesterosEBFH22 %V 105 %@ 978-3-95977-250-1

@inproceedings{conf/cav/BallesterosEBFH22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ballesteros, Ignacio and Earle, Clara Benac and de Barrio, Luis Eduardo Bueso and Fredlund, Lars-Åke and Herranz, Ángel and Mariño, Julio}, biburl = {https://www.bibsonomy.org/bibtex/2fb9ee4722ec832209861fec79e5a6e93/dblp}, booktitle = {FMBC@CAV}, crossref = {conf/cav/2022fmbc}, editor = {Dargaye, Zaynah and Schneidewind, Clara}, ee = {https://doi.org/10.4230/OASIcs.FMBC.2022.3}, interhash = {53ee84df7bc01dadcb25f36e6e32fc11}, intrahash = {fb9ee4722ec832209861fec79e5a6e93}, isbn = {978-3-95977-250-1}, keywords = {dblp}, pages = {3:1-3:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-08-26T07:29:12.000+0200}, title = {Automatic Generation of Attacker Contracts in Solidity.}, url = {http://dblp.uni-trier.de/db/conf/cav/fmbc2022.html#BallesterosEBFH22}, volume = 105, year = 2022 }