Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. - Mikkel Milo; Eske Hoy Nielsen; Danil Annenkov; Bas Spitters (FMBC@CAV, 2022)

Formalising Decentralised Exchanges in Coq. - Eske Hoy Nielsen; Danil Annenkov; Bas Spitters (CPP, 2023)