Login / Signup

Verifying Security Vulnerabilities for Blockchain-based Smart Contracts.

Nedas MatuleviciusLucas C. Cordeiro
Published in: SBESC (2021)
Keyphrases
  • security vulnerabilities
  • intrusion detection
  • dos attacks
  • penetration testing
  • model checking
  • security properties
  • supply chain
  • data mining
  • unauthorized access