SSIRI 2009: Shanghai, China

Keynotes

Compositionality

Runtime Systems

Vulnerability Detection and Defense

Aspect-Oriented Programming

Verification

Security Requirements

Testing

Modeling, Analysis, and Forensics

Security

Short Papers I

Fast Abstracts

Student Doctoral Program I

Panel

T4CIA Workshop I

Short Papers II

Workshop II

MVV Workshop

Short Papers III

Student Doctoral Program II

Fast Abstracts II