Ningyu He

A brief look at MEV's impact on Ethereum and DeFi.

A study on security flaws in smart contract address verification and a proposed detection method.

A new symbolic execution engine enhances Wasm binary analysis for improved security.