Security of Systems (SoS) research at Nijmegen

The SoS group works on computer security within Informatics for Technical Applications. Security is a very broad topic, ranging from mathematics (esp. cryptography) to law. The main areas of interests within SoS are Java program security, smart cards, and applied cryptography (see the list below).

The SoS group is supported by several national and international grants, e.g. by a Pionier grant on Program Security and Correctness from NWO, the national science funding agency in the Netherlands, and by a European IST project VerifiCard on Java smart cards. The group cooperates with various academic and industrial parties.

Within SoS there are the following subprojects.

LOOP verification project on theorem-prover based verification of (small) Java programs with JML annotations.
Principal investigator and contact person: Bart Jacobs
Java Modelling Language (JML) project on language design, semantics, proof theory and applications of the JML annotation language for Java.
Principal investigator and contact person: Erik Poll
Applied cryptography and fault tolerance project on the design and complexity of secure and fault tolerant distributed algorithms, especially on resource poor ambient systems like smart cards.
Principal investigator and contact person: Jaap-Henk Hoepman
Smart card systems on specific smart cards, especially within the Netherlands, such as: the E-purse chipknip (possibly with agekey), citychip, or the (former) ``chipper'' E-purse.
Principal investigator and contact person: Martijn Oostdijk
Theory of coalgebras project on coalgebras as abstract state-based systems with their own temporal logic, as mathematical basis underlying much of the group's verification work.
Principal investigator and contact person: Bart Jacobs

Last modified: Mon Jan 27 09:47:41 MET 2003