Description

Leader of the group Computer Security: Marten van Dijk.

The Computer Security group contributes to making our society a safe place with digital and physical infrastructures that can be trusted to have the best interest of citizens and industry in mind. Our work constructively contributes new mechanisms and solutions to security problems.

We are committed to bringing rigorous cryptographic style thinking to security engineering. We study, analyze, and design secure computing environments from various perspectives such as secure processor architectures and cyber physical system security but also secure machine learning functionalities. We provide a holistic approach and use various techniques for reasoning about security, safety, and resilience ranging from formal methods to cryptographic proofs.

More

Vacancies

No vacancies currently.

News

Commit2Data grant for better, faster and real-time adaptable big data analysis

Commit2Data grant for better, faster and real-time adaptable big data analysis

To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. The research partners in this project – CWI being one of them – will develop a platform to support 'evolving data-intensive application pipelines’, making big data analysis safer, better, faster and adaptable in real-time.

Commit2Data grant for better, faster and real-time adaptable big data analysis - Read More…

Best Paper Award for Training DevOps engineers

Best Paper Award for Training DevOps engineers

Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in September 2017. They were awarded the prize for their work on 'Human-in-the-Loop Simulation of Cloud Services'. The researchers are one of the first to carry out live, interactive simulation of DevOps engineers inside simulated cloud environments.

Best Paper Award for Training DevOps engineers - Read More…

Current events

Amsterdam Coordination Group (ACG) Talk by Lisa Kohl

  • 2021-07-27T13:30:00+02:00
  • 2021-07-27T15:00:00+02:00
July 27 Tuesday

Start: 2021-07-27 13:30:00+02:00 End: 2021-07-27 15:00:00+02:00

Via Zoom

On 27 July 13:30 Lisa Kohl will give a talk titled Correlated Pseudorandom Functions from Variable-Density Learning Parity with Noise.

https://cwi-nl.zoom.us/j/85074346559?pwd=dXdZWVpHWXFuMlk4SEFqbFRzTGJOZz09

Abstract:
Correlated randomness is a ubiquitous resource in cryptography. A one-time pad, namely a pair of identical random keys, enables perfectly secure communication. More complex forms of correlated randomness can similarly facilitate protocols for secure multiparty computation that allow two or more parties to jointly compute a function of secret inputs revealing nothing beyond the output. An example for a useful correlation is oblivious transfer, where one party is given two random bits (s_0,s_1) and another party gets (b,s_b) for a random bit b.

In this work we initiate the study of correlated pseudorandom functions that offer the ability to generate an essentially unbounded amount of correlated pseudorandomness from short correlated keys using only local computation. We present efficient constructions of correlated pseudorandom functions for a broad class of useful correlations, including oblivious transfer, from a variable-density variant of the learning parity with noise assumption.

This is joint work with Elette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval Ishai and Peter Scholl.

About Amsterdam Coordination Group Talks
ACGs are biweekly colloquium organized in the Computer Security group. You can find a list of our previous speakers at
https://event.cwi.nl/acg/category/presentations.

Members

Associated Members

Publications

Software

Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)
  • Reowolf 2.0: decentralized, synchronous, multi-party Internet communication (Reowolf 2.0)

Related partners

  • Anchormen
  • Vitens