External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters. Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. In Zaynah Dargaye, Clara Schneidewind, editors, 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel. Volume 105 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Mikkel Milo

This author has not been identified. Look up 'Mikkel Milo' in Google

Eske Hoy Nielsen

This author has not been identified. Look up 'Eske Hoy Nielsen' in Google

Danil Annenkov

This author has not been identified. Look up 'Danil Annenkov' in Google

Bas Spitters

This author has not been identified. Look up 'Bas Spitters' in Google
runs on