Software Security Summer School 2004

Download an archived copy of this website here.

Foundations

Principles of Systems Security
Security and Society
Access Control and Logic
Type Systems

Advanced Techniques

Proof Carrying Code
Typed Assembly Language
Language-Based Information-Flow Seucrity
Program Monitoring

Theory, in Practice

Security via Type Qualifiers
Network Security Architectures
Current Techniques in Language-Based Security

Robbie Ye
Last updated: June 23, 2004