Mathematics:
- Discriminants in the relative Grothendieck group of varieties (2021)
- Motivic characteristic classes of coincident root loci (2018)
- Equivariant Chern-Schwartz-MacPherson classes of coincident root loci (2017)
- Elliptic curves and ellipses, what’s the deal? (2024, informal talk)
Cryptography:
- Introduction to zero-knowledge proofs (2025)
- Succinct proofs of arbitrary computations (zkVMs) (2024)
- Introduction to zero-knowledge proof systems (2022)
- Elliptic curves in cryptography (2014)
Computer science:
- Random-access lists, nested data types and numeral systems (2016)
- The Bitcoin protocol (2014)
- Trees as fixed point types (2011) - see also the fixplate library