Login / Signup

Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.

Mikkel MiloEske Hoy NielsenDanil AnnenkovBas Spitters
Published in: FMBC@CAV (2022)
Keyphrases
  • main contribution
  • theoretical framework
  • databases
  • lightweight
  • information security
  • database
  • genetic algorithm
  • key properties