A modern LaTeX Beamer theme

A textbook on informal homotopy type theory

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Programmatic generation of high-quality CVs

An automatic paper generator

attacking RSA via lattice reductions (LLL)

Simple automated LaTeX invoicing system

Best Current Practices regarding secure online communication and configuration of services using cryptography.

Formalizations of Gödel's Ontological Proof of God's Existence

Guide to writing a Playstation emulator

A Super Fast Multithreaded malloc() for 64-bit Machines

The Internet censorship bibliography.

Beamer color theme using the Solarized palette

Blockchain Bibliography

CryptoBib Database for Developers

A LaTeX package for formatting meta-theory.

Timing Attack on TLS' ECDSA signature

Latex source files

Passive DNS Common Output Format

The GC3 theme for LaTeX/Beamer slides.

Mscgen in LaTeX

Crypto Bib is a BibTeX database containing papers related to Cryptography, with manually checked entries and uniform BibTeX data.

TeX for PMM spec

Source code for the "SGX Explained" paper

Notes from the IACR's ECC 2015 Summer School and Workshop.