CS 6204: Advanced Topics in System and Network Security 
Spring 2014
Danfeng Yao

This seminar course will survey recent developments in system and network
security, including anomaly detection, authentication, program behavior
modeling, mobile security, and operating system security.  The course
will provide in-depth discussion on advanced methods for rigorous security
analysis and modeling of complex computing systems and networks.