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);