Eske Hoy Nielsen

According to our database, Eske Hoy Nielsen authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formalising Decentralised Exchanges in Coq.

Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022