Home

Course description

Lecture notes

Assignments

Projects

Reference

 

 

 

CS 380S - Theory and Practice of Secure Systems (54910)

Fall 2009

Software security

Design principles of secure systems

Buffer overflow and other memory corruption exploits

Concurrency attacks Intrusion detection Analysis and verification of software Cross-site scripting, SQL injection, cross-site request forgery Web browser security Information flow control Timing attacks

Privacy and secure multi-party computation

Tutorials (by Goldreich) Database privacy