Workbook for Introduction to Programmable Cryptography - View it on GitHub