Sign in

WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts.

Shuo YangHuizhong LiZibin Zheng
Published in: BlockSys (2022)
Keyphrases
  • control flow
  • databases
  • cooperative
  • database
  • operating system