%0 Generic %1 dmitrienko2021sound %A Dmitrienko, Alexandra %A Chen, Huili %A Fereidooni, Hossein %A Sendner, Christoph %A Sadeghi, Ahmad-Reza %A Koushanfar, Farinaz %B CyberSec&AI 2021 %D 2021 %K %T Sound Smart Contract Security Testing with Just One Tool %U https://easychair.org/cfp/cybersecai2021

@conference{dmitrienko2021sound, added-at = {2023-12-14T14:57:27.000+0100}, author = {Dmitrienko, Alexandra and Chen, Huili and Fereidooni, Hossein and Sendner, Christoph and Sadeghi, Ahmad-Reza and Koushanfar, Farinaz}, biburl = {https://www.bibsonomy.org/bibtex/2e503bdbb7a4e214e15fa98ed2f7b6e93/admin}, booktitle = {CyberSec&AI 2021}, interhash = {e56250479e5f8258bc16b6aca11faa18}, intrahash = {e503bdbb7a4e214e15fa98ed2f7b6e93}, keywords = {}, timestamp = {2023-12-14T14:57:27.000+0100}, title = {Sound Smart Contract Security Testing with Just One Tool}, url = {https://easychair.org/cfp/cybersecai2021}, year = 2021 }