18-739 Foundations of Security and Privacy

Lectures: Tuesday, Thursday 10:30-11:50, BH A51

Instructor: Anupam Datta  
 Email: danupam@cmu.edu 
 Phone: (412) 268-4254  
 Office Hours: Tue-Th 4:30-5:30PM
 Office: CIC 2118

Teaching Assistant: Joseph Slember
 Email: jslember@ece.cmu.edu 
 Phone: (412) 268-9446  
 Office Hours: M,W 2-3PM
 Office: CIC 2225B

Schedule

Tools

References

Projects

Course Blackboard Website

Scribe Notes Template

Course Description

This course will cover topics in security and privacy with an emphasis on principled methods for analysis and design. Specific topics include analysis of network security protocols, distributed access control, privacy, and software system security. In studying each topic, we will emphasize certain general methods and principles as well as illustrate their use in the design and analysis of real systems. For example, the section on network security protocols will include a discussion of model-checking techniques and their application to widely deployed protocols such as the IEEE 802.11i standard. Brief introductions to cryptography and modeling & analysis techniques including various logics, model-checking, theorem-proving, process calculi, and type systems will be provided to make the course self-contained.

This course should be of interest to graduate students and advanced undergraduates interested in security, privacy, cryptography, programming languages and formal methods. An introductory course on computer security such as 18-487 or 18-730 is recommended but not required to take this course.

Grading