Merge pull request #208 from secure-systems-lab/patrick-candidate · secure-systems-lab/secure-systems-lab.github.io@5e3ef6d