45 citations · 398 across the 36 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
Finding smart contract vulnerabilities with ConCert's property-based testing framework
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov +1
We provide three detailed case studies of vulnerabilities in smart contracts, and show how property-based testing would have found them: 1. the Dexter1 token exchange; 2. the iToke…
cs.LO2022
Formalising Decentralised Exchanges in Coq
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
The number of attacks and accidents leading to significant losses of crypto-assets is growing. According to Chainalysis, in 2021, approx. $14 billion has been lost due to various i…