Research output per year
Research output per year
Fingerprint
Dive into the research topics where Eske Hoy Nielsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 -
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 AccessFile38 Downloads (Pure) -
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 -
Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates
Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H., Oct 2020.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review