Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.

Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang

Browse the full ISSTA paper archive.