Aarhus University Seal

Eske Hoy Nielsen

  1. 2023
  2. Published
    Formalising Decentralised Exchanges in Coq. / Nielsen, Eske Hoy; Annenkov, Danil; Spitters, Bas.
    In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11.01.2023, p. 290-302.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearch

  3. 2022
  4. Published
    Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. / Milo, Mikkel; Nielsen, Eske Hoy; Annenkov, Danil et al.
    4th International Workshop on Formal Methods for Blockchains (FMBC 2022). ed. / Zaynah Dargaye; Clara Schneidewind. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2022. (OpenAccess Series in Informatics, Vol. 105).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  5. Published
    Finding smart contract vulnerabilities with ConCert's property-based testing framework. / Milo, Mikkel; Nielsen, Eske Hoy; Annenkov, Danil et al.

    Research output: Working paper/Preprint Working paperResearch

  6. 2020
  7. Published
    Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates. / Blatchley Hansen, Adam; Eskilden, Morten; Nielsen, Eske Hoy.
    2020. Abstract from NIST Lightweight Cryptography Workshop 2020.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review