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

Revision: r1.8 - 16 Nov 2005 - 13:36 - ErikPoll
Members > RadboudUniversiteit
Ideas, requests, problems regarding the Mobius site QUESTION?