%0 Conference Paper %1 conf/qrs/JiangCWAC21 %A Jiang, Bo %A Chen, Yifei %A Wang, Dong %A Ashraf, Imran %A Chan, W. K. %B QRS %D 2021 %I IEEE %K dblp %P 926-937 %T WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2021.html#JiangCWAC21 %@ 978-1-6654-5813-9

@inproceedings{conf/qrs/JiangCWAC21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Jiang, Bo and Chen, Yifei and Wang, Dong and Ashraf, Imran and Chan, W. K.}, biburl = {https://www.bibsonomy.org/bibtex/267b3a321cb5846943442595d2e7dbf34/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2021}, ee = {https://doi.org/10.1109/QRS54544.2021.00102}, interhash = {d0bc2f6da103551d7b36c65a6ec5e936}, intrahash = {67b3a321cb5846943442595d2e7dbf34}, isbn = {978-1-6654-5813-9}, keywords = {dblp}, pages = {926-937}, publisher = {IEEE}, timestamp = {2024-04-09T13:28:05.000+0200}, title = {WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2021.html#JiangCWAC21}, year = 2021 }