Eske Hoy Nielsen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Bas Spitters
14 publications
Danil Annenkov
8 publications
Mikkel Milo
3 publications

research

∙ 08/01/2022

Finding smart contract vulnerabilities with ConCert's property-based testing framework

We provide three detailed case studies of vulnerabilities in smart contr...

0 Mikkel Milo, et al. ∙

research

∙ 03/11/2022

Formalising Decentralised Exchanges in Coq

The number of attacks and accidents leading to significant losses of cry...

0 Eske Hoy Nielsen, et al. ∙