Eske Hoy Nielsen

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Discrete Event Systems

Top Venues

Publications

Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
Formalising Decentralised Exchanges in Coq. CPP (2023)
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
Formalising Decentralised Exchanges in Coq. CoRR (2022)
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
Finding smart contract vulnerabilities with ConCert's property-based testing framework. CoRR (2022)
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. FMBC@CAV (2022)