This course presents case studies of the design of various security protocols including SSL, WEP / WPA, IPSec, and Kerberos. We focus on discussing the pros and cons of various security trade-offs involved in the design of such protocols, and we describe vulnerabilities that some of these protocols are susceptible to due to design flaws. It is recommended that students take Using Cryptography Correctly as a prerequisite for this course, as a working knowledge of cryptographic primitives will be assumed.