technological, organisational
and legal expertise united

Institute for Computing and Information Sciences / Radboud University Nijmegen

The technological center of mass is situated at Computer Science (officially called the Institute for Computing and Information Sciences (ICIS)(external link)) of the Radboud University Nijmegen(external link).

Security of Systems (SoS) group

The Security of Systems (SoS) group(external link) (formerly known as the LOOP group) works on computer security. Security is a very broad topic, ranging from mathematics (esp. cryptography) to law. The main areas of interest within SoS are Java program security, smart cards, and applied cryptography.

The most important areas of interest of the SoS group are Java program security, smart cards and applied cryptography. The SoS group gets its funding from various national and international sources, like the Pionier grant from NWO for research in Program Security and Correctness, and a European IST project called ‘VerifiCard’ which address Java smart cards. The group cooperates with various academic and industrial partners.

People from the SoS group involved in Cycris include:

• dr. Jaap-Henk Hoepman(external link)
• prof. dr. Bart Jacobs(external link)
• dr. Wouter Teepe(external link)
• prof. dr. Eric Verheul(external link)

Information and Knowledge Systems (IRIS) group

Research of the Information and Knowledge Systems (IRIS) group(external link) centers around the theme of knowledge-intensive systems drawing upon ideas, methods and techniques from information systems and artificial intelligence research.

The following strands of research can be recognized:

• knowledge modeling, both AI oriented and in the context of information-system development;
• knowledge representation and automated reasoning, using various formalisms, from logic (both standard and non-standard), algebra to Bayesian networks and decision theory; information disclosure and retrieval, machine learning, knowledge discovery and datamining;
• decision-making under uncertainty;
• human-machine communication and dialogue management; and
• architecture modeling focussing on architecture and alignment of systems.

Formal methods play a key role in all of this research, as they allow achieving a precise, deep understanding of the objects of study.

People from the IRIS group involved in Cycris include:

• dr. Patrick van Bommel(external link)
• prof. dr. Kees Koster(external link)
• prof. dr. Theo van der Weide(external link)

 

---