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

talks, workshops, etc.

Some issues in "defi" centralisation at - 7th of October, 2019 [slides]
Dark Pools in zero knowledge at Starkware Sessions - 16th of September, 2019 [slides]
Smart contract formal verification with klab Workshop in London - 24th of March, 2019 [slides]
The Dai Credit System at Ethereum Meetup Poland - 12th of November, 2018 [slides]
Formal verification panel at Rchain Developer Conference - 5th of September, 2018

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