PASTE 2005: Lisbon, Portugal

Opening

Static analysis

Monitoring and testing

Security and state

Analysis frameworks

Low-level code

Reverse engineering and symbolic execution