Software Security Summer School 2004

Download an archived copy of this website here.

Some Interesting Topics:

  • Network Security Architectures
  • Principles of Systems Security
  • Current Techniques in Language-Based Security
  • Proof Carrying Code

    Complete List of Lectures

    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 28, 2004