%0 Conference Paper %1 conf/issta/PanXLY023 %A Pan, Yu %A Xu, Zhichao %A Li, Levi Taiji %A Yang, Yunhe %A Zhang, Mu %B ISSTA %D 2023 %E Just, René %E Fraser, Gordon %I ACM %K dblp %P 1244-1256 %T Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. %U http://dblp.uni-trier.de/db/conf/issta/issta2023.html#PanXLY023

@inproceedings{conf/issta/PanXLY023, added-at = {2024-02-05T00:00:00.000+0100}, author = {Pan, Yu and Xu, Zhichao and Li, Levi Taiji and Yang, Yunhe and Zhang, Mu}, biburl = {https://www.bibsonomy.org/bibtex/2c726da8ea2ccf0d9d5214a753b237b92/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2023}, editor = {Just, René and Fraser, Gordon}, ee = {https://doi.org/10.1145/3597926.3598132}, interhash = {2861b5502c9f11e03d28e354227baa2b}, intrahash = {c726da8ea2ccf0d9d5214a753b237b92}, keywords = {dblp}, pages = {1244-1256}, publisher = {ACM}, timestamp = {2024-04-09T20:41:19.000+0200}, title = {Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2023.html#PanXLY023}, year = 2023 }