Aarhus University Seal

Dansk

You are here: » Eske Hoy Nielsen » Research outputs

About Aarhus University

Eske Hoy Nielsen

1 - 4 out of 4Page size: 100
RSS feed of this list
  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 newspaper › Conference article › Research

  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/proceeding › Article in proceedings › Research › peer-review

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

    Research output: Working paper/Preprint › Working paper › Research

  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 conference › Conference abstract for conference › Research › peer-review