3 citations · 6 across the 13 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CR2024
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Ningyu He, Zhehao Zhao, Hanqin Guan +6
WebAssembly (Wasm), as a compact, fast, and isolation-guaranteed binary format, can be compiled from more than 40 high-level programming languages. However, vulnerabilities in Wasm…
cs.CR2024★ 2 cited
Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum
Tianyang Chi, Ningyu He, Xiaohui Hu +1
Maximal Extractable Value (MEV) drives the prosperity of the blockchain ecosystem. By strategically including, excluding, or reordering transactions within blocks, block producers…