Eske Hoy Nielsen – Research output — Aarhus University

Emaileskecs.audk

Åbogade 34
8200 Aarhus N
Denmark

Research activity per year

2 Article in proceedings
1 Conference abstract for conference
1 Working paper

1 results

Filter

2022
Finding smart contract vulnerabilities with ConCert's property-based testing framework
Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., Aug 2022, 13 p. (FMBC: Formal Methods for Blockchains).
Research output: Working paper/Preprint › Working paper › Research

Open Access
File
38 Downloads (Pure)