M-A-R: A Dynamic Symbol Execution Detection Method for Smart Contract Reentry Vulnerability

Zexu Wang, Bin Wen, Ziqiang Luo, Shaojie Liu. M-A-R: A Dynamic Symbol Execution Detection Method for Smart Contract Reentry Vulnerability. In Hong-Ning Dai, Xuanzhe Liu, Daniel Xiapu Luo, Jiang Xiao, Xiangping Chen, editors, Blockchain and Trustworthy Systems - Third International Conference, BlockSys 2021, Guangzhou, China, August 5-6, 2021, Revised Selected Papers. Volume 1490 of Communications in Computer and Information Science, pages 418-429, Springer, 2021. [doi]

@inproceedings{WangWLL21-9,
  title = {M-A-R: A Dynamic Symbol Execution Detection Method for Smart Contract Reentry Vulnerability},
  author = {Zexu Wang and Bin Wen and Ziqiang Luo and Shaojie Liu},
  year = {2021},
  doi = {10.1007/978-981-16-7993-3_32},
  url = {https://doi.org/10.1007/978-981-16-7993-3_32},
  researchr = {https://researchr.org/publication/WangWLL21-9},
  cites = {0},
  citedby = {0},
  pages = {418-429},
  booktitle = {Blockchain and Trustworthy Systems - Third International Conference, BlockSys 2021, Guangzhou, China, August 5-6, 2021, Revised Selected Papers},
  editor = {Hong-Ning Dai and Xuanzhe Liu and Daniel Xiapu Luo and Jiang Xiao and Xiangping Chen},
  volume = {1490},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-981-16-7993-3},
}