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

2 results

Filter

2023
Formalising Decentralised Exchanges in Coq
Nielsen, E. H., Annenkov, D. & Spitters, B., Jan 2023, CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York: Association for Computing Machinery, p. 290-302 13 p.
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Open Access
2022
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework
Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., Oct 2022, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Dargaye, Z. & Schneidewind, C. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 13 p. (OpenAccess Series in Informatics, Vol. 105).
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Open Access