6月 19, 2023 (论文阅读) WANA-Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection
6月 18, 2023 (论文阅读) Eunomia-enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
5月 29, 2023 (论文阅读)Automated WebAssembly Function Purpose Identification With Semantics-Aware Analysis
