Examples of how to create colorful, annotated equations in Latex using Tikz.

Documentation about scriptless scripts

LaTeX package for typesetting pseudocode and cryptographic games

A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.

My poster for Financial Crypto 2020 analysing the hash function requirements for Taproot to be secure in the generic group model.

My Scribes of a Property Testing Course