Source code for 'Foundations of Security' by Christoph Kern, Anita Kesavan, and Neil Daswani - View it on GitHub