Login / Signup

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts.

Tianle SunNingyu HeJiang XiaoYinliang YueXiapu LuoHaoyu Wang
Published in: CoRR (2024)
Keyphrases
  • model checking
  • line segments
  • face verification
  • neural network
  • web services
  • computer systems
  • formal verification