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.

An automatic paper generator

Programmatic generation of high-quality CVs

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

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

Guide to writing a Playstation emulator

The Internet censorship bibliography.

Beamer color theme using the Solarized palette

Blockchain Bibliography

A LaTeX package for formatting meta-theory.

Timing Attack on TLS' ECDSA signature

CryptoBib Database for Developers

Latex source files

Passive DNS Common Output Format

Mscgen in LaTeX

The GC3 theme for LaTeX/Beamer slides.

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.