Shuo Yang, Huizhong Li, Zibin Zheng. WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts. In Davor Svetinovic, Yin Zhang 0003, Xiapu Luo, Xiaoyan Huang, Xingping Chen, editors, Blockchain and Trustworthy Systems - 4th International Conference, BlockSys 2022, Chengdu, China, August 4-5, 2022, Revised Selected Papers. Volume 1679 of Communications in Computer and Information Science, pages 322-335, Springer, 2022. [doi]
Abstract is missing.