Sources for the course Verification of Security Protocols offered at TU/e as part of the Kerckhoffs program.