Repository for the Pragmatic Cryptography book website