News
Computer Security group news
Marten van Dijk in New Scientist article on solving privacy problems
Marten van Dijk, head of CWI’s Computer Security group, was quoted in the international edition of New Scientist on ‘An extreme form of encryption could solve big data's privacy problem’.
IEEE Fellowship for security research Marten van Dijk
Marten van Dijk (CWI) has received the IEEE Fellowship for his contributions to security, especially secure processor design and encrypted computation. His security work is used worldwide: both in applications like Intel …
Start of ACCSS - new association of cybersecurity academics
Last month, members of the ACCSS association celebrated that ACCSS (ACademic Cyber Security Society) is now a formal association. Marten van Dijk, head of CWI’s Computer Security research group, is one of …
Workshop on Dutch Secure Autonomous Cloud
A consortium of CWI and other academic partners have joined forces to create the Dutch Secure Autonomous Cloud. This is a transparent, national cloud with security guarantees for the processing and storage …
CWI introduces Computer Security research group
To make society, with its digital and physical infrastructures, a safer place, CWI introduces a new research group: Computer Security. Group leader is Marten van Dijk, who is very experienced in security …
CWI works on Next Generation Internet
The Next Generation Internet POINTER fund has awarded CWI a grant to work on architectural renovation for the next generation Internet to replace BSD-style socket technology. The results will make a new …
CWI introduces new design methodology for reliable and trustworthy software
To make the development process of software quick, efficient, reliable and automated, researcher Vlad-Nicolae Şerbănescu (CWI and LIACS) studied how to unify modelling and programming languages for reliable and trustworthy software.
Better parallel programming with help of ABS language
Current programming languages cannot use the full potential power of manycore chips. Keyvan Azadbakht studied the formal programming language ABS and extended the programming model and analysis techniques. He defended his PhD …
