The Auction Grinding Attack: and a case for a liquidation penalty in dai, 2018 pdf
Chain Complexes as a Higher Category, 2017 pdf
Generalised Pontryagin Construction for CW Complexes, 2017 pdf
talks, workshops, etc.
Formal verification panel at Rchain Developer Conference - 5th of September, 2018
The Dai Credit System at Ethereum Meetup Poland - 12th of November, 2018 [slides]
Smart contract formal verification with
klab Workshop in London - 24th of March, 2019 [slides]