Search filters

List of works by Ningyu He

Miracle or Mirage? A Measurement Study of NFT Rug Pulls

scientific article published on 12 December 2023

Miracle or Mirage? A Measurement Study of NFT Rug Pulls

scientific article published on 01 June 2024

Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications

scientific article published on 21 November 2023

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

scientific article published on 11 September 2024

SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution

scientific article published on 21 November 2023

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation

scientific article published on 11 September 2024

Paulina is supported by:

About Paulina

Help