PGP key: here, on, or on the MIT keyserver.

papers, etc.

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]