Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries

14 April 2023

Yubin Hu

Haoyu Wang

Papers citing "Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries"

3 / 3 papers shown

Title
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries Ningyu He Zhehao Zhao Hanqin Guan Jikai Wang Shuo Peng Ding Li Haoyu Wang Xiangqun Chen Yao Guo 22 3 0 16 Aug 2024
WebAssembly and Security: a review G. Perrone S. Romano 34 1 0 17 Jul 2024
Building Call Graph of WebAssembly Programs via Abstract Semantics Mattia Paccamiccio Franco Raimondi Michele Loreti 21 0 0 08 Jul 2024