Price manipulation is one of the most damaging vulnerability classes in decentralized finance (DeFi) protocols. Existing approaches mainly stop at warning generation or rely on rigid attack templates, and therefore struggle to determine whether a victim protocol is profitably exploitable under a concrete chain state. T...
Bo-Si Zhang, Ning-Yu He, Guang-Dong Bai et al.· Proceedings of the 41st IEEE...· 0 citations
WebAssembly (Wasm) is a prominent programming language enabling high-performance execution across diverse computing environments. However, bugs in Wasm runtimes, which execute Wasm binaries, can lead to severe security breaches and system failures. Manually debugging Wasm binaries that trigger such runtime bugs is exce...
Shi-Yao Zhou, Ning-Yu He, David Lo et al.· Proceedings of the ACM on So...· 0 citations
Decentralized finance (DeFi) scams related to airdrops have become a practical security problem for wallet providers, exchanges, and Web3 security teams. Evidence of these scams spans promotional posts, websites, wallet prompts, transactions, token contracts, and incident reports, which makes them difficult to organize...
Ning-Yu He, Xiao-Hui Hu, Hao-Yu Wang· Proceedings of the 41st IEEE...· 0 citations
NotDec extends the WebAssembly type checking algorithm to lift bytecode into an SSA‑based IR, applies the inter-procedural type recovery algorithm Retypd with pointer and numeric value differentiation methods to recover complex data structures, and leverages Memory SSA alongside semantics‑preserving structured control‑...
Ji-Kai Wang, Ning-Yu He, Tian-Ming Liu et al.· Proceedings of the 2026 IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
