The Security of Systems group at the Radboud University Nijmegen focuses its research on security and Java specification and verification. The group is involved in the workpackages

• WP1, more specifically on framework-specific security (Task 1.3) and application-specific security (Task 1.4);
• WP3 on logical-based verification;
• WP5 on case studies.

The people involved in Nijmegen are

• Christian Haack
• Erik Poll
• Aleksy Schubert (Aleksy has moved from Warsaw to Nijmegen for one year on a Marie Curie Fellowship starting Nov 2005)